added counter output in tracer backend