gcd(a, b)