node range() returns (y:int) = loop 0 <= y and y <= 42