$prog]))-> trace_print();