NONE
9552 src/w32.c ifmt_idx = NONE;
NONE
9559 src/w32.c if (ifmt_idx == NONE)