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