#include<civlc.cvh>

int main(){
  int a = 1, b = 2, c = 3, d = 4;

  $assert((a+b) == (c+d));
}