int gcd_ext(int a, int b, int *x, int *y);