original_kernel/lib/gcd.c