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