gcd/2, tests