PPP              9534 src/w32.c      	      ifmt_idx = PPP;
PPP              9594 src/w32.c      	      if (ifmt_idx == PPP)
PPP              9821 src/w32.c                ifmt_idx = PPP;