permit gdb to "modify" orig_rax for restarts
Reformat