source: CIVL/mods/dev.civl.com/examples/languageFeatures/assignInput.cvl@ cb4d4f4

#include <civlc.cvh>

$input int N;

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