gc_finalize       528 lj_gc.c            gc_finalize(L);
gc_finalize       659 lj_gc.c              gc_finalize(L);  /* Finalize one userdata object. */