FDDI             9530 src/w32.c      	      ifmt_idx = FDDI;
FDDI             9817 src/w32.c                ifmt_idx = FDDI;