//prints 4
main {
  nat x; 
  x=0; 
  x=x+1;
  x=x+1; 
  x=x+1;
  x=x+1; 
  printNat(x);
}