{-# htermination pred :: Int -> Int #-}