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