node trivial() returns(x:int; f:real ; b:bool) = loop true