{-# htermination maxBound :: Int #-}