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