{-# htermination (*) :: Int -> Int -> Int #-}