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