{-# htermination writeFile :: FilePath -> String -> IO () #-}