#if 0 #include void sync(void) { } /* XOPEN(400) */ #endif