*** argv.c~	Wed Sep 25 10:01:59 1996
--- argv.c	Wed Sep  3 14:51:13 1997
***************
*** 49,54 ****
--- 49,57 ----
  char *STk_arg_image	  = NULL;
  char *STk_arg_cells	  = NULL;
  int   STk_arg_interactive = 0;
+ #ifdef RLT
+ int   STk_arg_prompt_stderr = 0;
+ #endif
  
  static struct arguments {
    char *key;
***************
*** 85,90 ****
--- 88,97 ----
  		   "Interactive mode"},
    {"-help",	   NULL,			   0,  NULL,
  		   "\tPrint summary of command-line options and abort"},
+ #ifdef RLT
+   {"-prompt-stderr", (char **) &STk_arg_prompt_stderr,       0,  (char *) 0,
+ 		   "Toplevel output goes to stderr instead of stdout"},
+ #endif
    {"", NULL, 0, NULL, ""}};
  
  static void usage(void)
*** stk.h~	Wed Sep 25 10:01:59 1996
--- stk.h	Wed Sep  3 14:50:34 1997
***************
*** 377,382 ****
--- 377,385 ----
  extern char *STk_arg_cells;
  extern char *STk_arg_image;
  extern int   STk_arg_interactive;
+ #ifdef RLT
+ extern int   STk_arg_prompt_stderr;
+ #endif
  
  char** STk_process_argc_argv(int argc, char **argv);
  void   STk_save_unix_args_and_environment(int argc, char **argv);
*** toplevel.c~	Wed Sep 25 10:01:59 1996
--- toplevel.c	Wed Sep  3 14:49:06 1997
***************
*** 257,264 ****
        longjmp(*Top_jmp_buf, JMP_RESTORE);
      }
      else {
!       STk_print(x, STk_curr_oport, WRT_MODE);
!       Putc('\n', STk_stdout);
      }
    }
  }
--- 257,274 ----
        longjmp(*Top_jmp_buf, JMP_RESTORE);
      }
      else {
! #ifdef 	RLT
! 	if (STk_arg_prompt_stderr) {
! 	    STk_print(x, STk_curr_eport, WRT_MODE);
! 	    Putc('\n', STk_stderr);
! 	} else {
! 	    STk_print(x, STk_curr_oport, WRT_MODE);
! 	    Putc('\n', STk_stdout);
! 	}
! #else
! 	STk_print(x, STk_curr_oport, WRT_MODE);
! 	Putc('\n', STk_stdout);
! #endif
      }
    }
  }