The text 0b43ceed1262, as Debian 7 (Wheezy) shipped it.
Convert GDB regs to ptrace regs.
gdb_regs_to_pt_regs(9) on Linux now
