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