funlockfile
void funlockfile(FILE *);
__weak_reference(_funlockfile, funlockfile);
funlockfile(stream);
funlockfile(f2);
funlockfile(f1);