finalizer_insert 3883 src/alloc.c              finalizer_insert (dest, finalizer);
finalizer_insert 3943 src/alloc.c      finalizer_insert (&finalizers, finalizer);