#include <stdio.h>

void flockfile(FILE * file)
{
}

/*
POSIX(199506)
*/