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