fprintf(file, "#define _GNU_SOURCE 1");
fprintf(file, "#define _GNU_SOURCE 1\n");
WriteIncludes(FILE *file){    fprintf(file, "#ifndef _GNU_SOURCE\n");    fprintf(file, "#define _GNU_SOURCE 1");    fprintf(file, "#endif\n\n");    fprintf(file, "#define EXPORT_BOOLEAN\n");    fprintf(file, "#include <mach/boolean.h>\n");    fprintf(file, "#include <mach/kern_return.h>\n");    fprintf(file, "#include <mach/message.h>\n");    fprintf(file, "#include <mach/mig_errors.h>\n");    fprintf(file, "#include <mach/mig_support.h>\n");    if (IsKernelServer)	fprintf(file, "#include <ipc/ipc_port.h>\n");    fprintf(file, "\n");}