The text 21ae88c9ec08, as Debian 8 (Jessie) shipped it.
Convert GDB regs to ptrace regs.
gdb_regs_to_pt_regs(9) on Linux now
