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