trace_output.c revision fa32e855
1