#include <stdio.h>

void funlockfile(FILE * file)
{
}

/*
POSIX(199506)
*/