node N() returns (y:int) = y = 0 fby loop y = pre y+1