update_dummy     2356 gc/os_dep.c        unsigned int update_dummy;
update_dummy     2357 gc/os_dep.c        currently_updating = (word)(&update_dummy);
update_dummy     2361 gc/os_dep.c        if (currently_updating != (word)(&update_dummy)) {