val x = !(ref 0.0) / !(ref 0.0)
val _ = print (concat [Real.toString x, "\n"])