The text 89d1f4b2d761, as Debian 7 (Wheezy) shipped it.
Translates the given cputime into milliseconds
function::cputime_to_msecs(3stap) on Linux now
