{-# htermination compare :: Int -> Int -> Ordering #-}