trace_off
extern void trace_off(const char *, ...);
trace_off("tracing turned off by %s",
trace_off("exiting with signal %d", stopint);
trace_off("main rip socket failed");
trace_off("tracing off: %s",
trace_off(pat, off_msgs[0]);