{-# htermination print :: Float -> IO () #-}