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