{-# htermination readLn :: IO Char #-}