{-# htermination (==) :: Int -> Int -> Bool #-}