#include <civlc.cvh>

$input int N;

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