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