last_finalized_no  126 gc/gcj_mlc.c      static int last_finalized_no = 0;
last_finalized_no  128 gc/gcj_mlc.c      if (GC_gc_no == last_finalized_no) return;
last_finalized_no  132 gc/gcj_mlc.c      last_finalized_no = GC_gc_no;