{-# htermination readFile :: FilePath -> IO String #-}