{-# htermination digitToInt :: Char -> Int #-}