The text 56d267ffbb8c, as Debian 7 (Wheezy) shipped it.
Convert ptrace regs to GDB regs
pt_regs_to_gdb_regs(9) on Linux now
