{-# htermination lines :: String -> [String] #-}