DEFECHO
"defecho", DEFECHO, 0,
"-defecho", 0, DEFECHO,
if (m&DEFECHO)
(void) printf("-defecho "+((m&DEFECHO) != 0));
"defecho", DEFECHO, 0,
"-defecho", 0, DEFECHO,
if (m & DEFECHO)
(void) fprintf(output, "-defecho " + ((m & DEFECHO) != 0));
"defecho", DEFECHO, 0,
"-defecho", 0, DEFECHO,