reentry_count    4099 gc/os_dep.c        static int reentry_count = 0;
reentry_count    4105 gc/os_dep.c          ++reentry_count;
reentry_count    4128 gc/os_dep.c            if (reentry_count > 1) {
reentry_count    4239 gc/os_dep.c          --reentry_count;