// File: gcd.h

int gcd(int x, int y);