The text 518ce746b0b0, as Debian 6.0 (Squeeze) shipped it.
Convert GDB regs to ptrace regs.
gdb_regs_to_pt_regs(9) on Linux now
