#include "stdio_impl.h" #include "pthread_impl.h" void funlockfile(FILE *f) { FUNLOCK(f); }