* debuggers/tracers/trace.c: