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