tracer: human-readable output (#7)