skipline
(void) skipline(rumf);
static int skipline(FILE *);
while (skipline(rumf))
static int skipline(FILE *);
ixold[i] = ctold += skipline(f1);
ixnew[j] = ctnew += skipline(f2);
ctold += skipline(f1);
ctnew += skipline(f2);
ctold += skipline(f1);
ctnew += skipline(f2);
ixnew[j] = ctnew += skipline(f2);