In traceprinter output, how to convert clk time feild → “t:0x1498645600” to useful microseconds or milliseconds etc. ?