node trivial() returns(x:int [-100;100]; f:real [-100.0;100.0];b:bool)= loop true