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