simulator_command (args, from_tty) char *args; int from_tty;
simulator_command (char *args, int from_tty)
simulator_command (args, from_tty)     char *args;     int from_tty;{  /* The user may give a command before the simulator is opened, so     ensure that the callbacks have been set up.  */  sim_set_callbacks (&default_callback);  default_callback.init (&default_callback);  sim_do_command (args);}