The text 9e649eb509dd, as Debian 8 (Jessie) shipped it.
Translates the given cputime into milliseconds
function::cputime_to_msecs(3stap) on Linux now
