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