BAD_CHOICE
return BAD_CHOICE;
return (BAD_CHOICE);
case BAD_CHOICE: /* specified file not found -> error */