doskip
int doskip = 0;
} else if (doskip) {
doskip = 0;
doskip = 1;
doskip(*_argv ? *_argv : "stdin");
void doskip(const char *);