node choice() returns(x:int) = loop { | x = 42 | x = 1 }