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