{-# htermination getContents :: IO String #-}