The text b78acc9085e7, as Debian 5.0 (Lenny) shipped it.
Convert ptrace regs to GDB regs
pt_regs_to_gdb_regs(9) on Linux now
