node range_bis(i:int) returns (y:int) = loop 0 <= y and y <= i