#include <civlc.cvh>

$input int N;

void main(){
  int x = N;
  
  $assert((x == N));
  N = x + 1;
  $assert((x+1 == N));
}