Consistency with examples/gcd.cpp.