fptr_finalize 4277 io.c fptr_finalize(fptr, noraise); fptr_finalize 5710 io.c fptr_finalize(fptr, noraise);