BAD_COMMAND
if (badfiles || (cmdok == BAD_COMMAND) || cmdok == BAD_FILE) {
if (cmdok == BAD_COMMAND) {
return (BAD_COMMAND);