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