#include <unistd.h>

void sync(void)
{
}

/*
XOPEN(400)
*/