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