{-# htermination reads :: String -> [((),String)] #-}