node incr(x:int) returns (y:int) = loop [10] y = x+1