X_CMD
X_CMD, BASENAME(rest, '/'), xsys, dfile);
(void) fprintf(fprx, "%c %s\n", X_CMD, cmd);
case X_CMD: /* command to execute */