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