{-# htermination even :: Int -> Bool #-}