node incr(x:int) returns (y:int) =
loop y = x+2
node decr(y:int) returns (x:int) = x = 42 fby loop x = y-1