print((mu f.\x. print x ; if x*x <= 0 then 1 else  (f read)*x  ) read)
