How to print millis in [hh:mm:ss] format?

vector0:
proc execution cycle what else ?

Some punctuation. Some quoting, so we have idea what your random phrases are in response to.