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