The text 87c39c1dcbe0, as Debian 7 (Wheezy) shipped it.
Print a register dump
function::print_regs(3stap) on Linux now
