set_tracefile
extern void set_tracefile(const char *, const char *, int);
set_tracefile(rip->rip_tracefile,
set_tracefile(inittracename, "%s", -1);
set_tracefile(savetracename, sigtrace_pat, 0);
set_tracefile(inittracename, sigtrace_pat, 0);