{-# htermination putStr :: String -> IO () #-}