FILE_FILENO      2501 win32/win32.c  	FILE_FILENO(stdin) = open_null(0);
FILE_FILENO      2507 win32/win32.c  	FILE_FILENO(stdout) = open_null(1);
FILE_FILENO      2510 win32/win32.c  	FILE_FILENO(stderr) = open_null(2);