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