Badline
(void) fprintf(stderr, Badline, Cmdp, namep, lineno);
(void) fprintf(stderr, Badline, Cmdp, namep, lineno);
(void) fprintf(stderr, Badline, Cmdp, namep, lineno);
(void) fprintf(stderr, Badline, Cmdp, namep, lineno);