The text 458349b076b0, as Debian 8 (Jessie) shipped it.
Convert ptrace regs to GDB regs
pt_regs_to_gdb_regs(9) on Linux now
