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