GCSatomic
g->gcstate = GCSatomic; /* finish mark phase */
if (g->gcstate != GCSatomic || prop)
if (g->gcstate == GCSatomic) { /* final traversal? */
#define keepinvariant(g) (isgenerational(g) || g->gcstate <= GCSatomic)
g->gcstate <= GCSatomic)