Написать вариант алгоритма Евклида, использующий соотношения НОД - C (СИ)

#include <stdio.h>
 
/* обычная версия */
int gcd(int a, int b)
{
    if (b == 0)
        return a;
    return gcd(b, a % b);
}
 
/* через деление на 2 */
int gcd2(int a, int b)
{
    if (a == 0)
        return b;
 
    if ((b & 1) == 0)
    {
        if ((a & 1) == 0)
            return 2 * gcd2(a / 2, b / 2);
        return gcd2(b / 2, a);
    }
 
    if ((a & 1) == 0)
        return gcd2(a / 2, b);
 
    if (b > a)
        return gcd2(b - a, a);
 
    return gcd2(a - b, b);
}
 
int main(void)
{
    int a, b;
    printf("Input a, b: ");
    scanf("%d%d", &a, &b);
    printf("\ngcd(%d, %d) = %d\n", a, b, gcd(a, b));
    printf("gcd2(%d, %d) = %d\n", a, b, gcd2(a, b));
    return 0;
}