#if 0 #include FILE * fdopen(int fildes, const char * mode) { (void)fildes; (void)mode; return NULL; } /* POSIX(1) */ #endif