funlockfile
void funlockfile(FILE *);
funlockfile(input);
funlockfile(input);
funlockfile(stdin);
funlockfile(stdout);
funlockfile(stdout);
funlockfile(stderr);
extern void funlockfile(FILE *);
funlockfile(fp);
pthread_cleanup_push(funlockfile, stderr);
funlockfile(debugf);
funlockfile(fp);
funlockfile(stdout);
funlockfile(stderr);
TEST_UNCHANGED(flockfile(f);funlockfile(f));
TEST_UNCHANGED(ftrylockfile(f);funlockfile(f));
funlockfile(out);