#include <__stdio.h> #include #include void flockfile(FILE *file) { LIBC_LOCK(((struct __FILE *)file)->lock); }