https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77405
--- Comment #22 from John Marino <gnugcc at marino dot st> --- (gdb) p/x $rax $1 = 0x800af0748
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77405
--- Comment #22 from John Marino <gnugcc at marino dot st> --- (gdb) p/x $rax $1 = 0x800af0748