let within(x, min, max: int): bool = (min <= x) and (x <= max) node random_walk() returns (y:int) = within(y,0,100) fby loop within(y,pre y-1,pre y+1)