node toto(i:int) returns (x:int)= loop { exception Stop in catch Stop in loop [1,10] x = i fby raise Stop fby x = 43 do x=42 }