gdbsim_load (prog, fromtty) char *prog; int fromtty;
gdbsim_load (char *prog, int fromtty)
gdbsim_load (prog, fromtty)     char *prog;     int fromtty;{  if (sr_get_debug ())    printf_filtered ("gdbsim_load: prog \"%s\"\n", prog);  inferior_pid = 0;  /* This must be done before calling gr_load_image.  */  program_loaded = 1;  if (sim_load (prog, fromtty) != 0)    generic_load (prog, fromtty);}