void terminal_ours () { if (remote_debugging) return; terminal_ours_1 (0); }
void terminal_ours_for_output () { if (remote_debugging) return; terminal_ours_1 (1); }
void terminal_ours (void) { terminal_ours_1 (0); }
void terminal_ours_for_output (void) { terminal_ours_1 (1); }