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