1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#if 0 #include <stdio.h> FILE * fdopen(int fildes, const char * mode) { (void)fildes; (void)mode; return NULL; } /* POSIX(1) */ #endif