GC_java_finalization   26 gc/finalize.c      int GC_java_finalization = 1;
GC_java_finalization   28 gc/finalize.c      int GC_java_finalization = 0;
GC_java_finalization  601 gc/finalize.c  	    if (!GC_java_finalization) {
GC_java_finalization  631 gc/finalize.c    if (GC_java_finalization) {
GC_java_finalization  125 gc/include/gc.h GC_API int GC_java_finalization;