* debuggers/tracers/trace.c: misc