FILE_READ        8059 src/w32.c            fd_info[fd].flags = FILE_SOCKET | FILE_BINARY | FILE_READ | FILE_WRITE;
FILE_READ        8791 src/w32.c      	  flags = FILE_PIPE | FILE_READ | FILE_BINARY;
FILE_READ        8820 src/w32.c            || (fd_info[fd].flags & FILE_READ) == 0)
FILE_READ        9022 src/w32.c            if ((fd_info[fd].flags & FILE_READ) == 0)
FILE_READ        10960 src/w32.c          FILE_READ | FILE_WRITE | FILE_BINARY | FILE_SERIAL;