X_STDIN
(void) fprintf(fprx, "%c %s\n", X_STDIN, dfile);
redir = X_STDIN;
if (redir == X_STDIN) {
(void) fprintf(fprx, "%c %s\n", X_STDIN, rest);
if (redir == X_STDIN) {
(void) fprintf(fprx, "%c %s\n", X_STDIN, dfile);
if (redir == X_STDIN) {
(void) fprintf(fprx, "%c %s\n", X_STDIN, dfile);
if (redir == X_STDIN) {
(void) fprintf(fprx, "%c %s\n", X_STDIN, dfile);
if (redir == X_STDIN) {
(void) fprintf(fprx, "%c %s\n", X_STDIN, rest);
case X_STDIN: