output.h

   1 void output_line(Process *proc, char *fmt, ...);
   2 void output_left(enum tof type, Process *proc, char *function_name);
   3 void output_right(enum tof type, Process *proc, char *function_name);