time instrumentation for debug prints #7

Closed boris-dimitrov closed 5 years ago