extern void child_terminal_info (struct target_ops *self, const char *, int);
-extern void info_terminal_command (char *, int);
-
extern void child_terminal_ours (struct target_ops *self);
extern void child_terminal_ours_for_output (struct target_ops *self);