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