OTHER_IF         9555 src/w32.c      	      ifmt_idx = OTHER_IF;
OTHER_IF         9841 src/w32.c                ifmt_idx = OTHER_IF;