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