Comment 5 for bug 1873556

Out of the two evils, I'd pick the lesser one: I think I would prefer gensyms that increase non-monotonically (such as G424 and G435) over gensyms whose names collide (such as G1 and G1).