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