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