{-# htermination isOctDigit :: Char -> Bool #-}