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