@pwarnold please use markdown format when pasting gdb output. github gets confused :-(

—
Reply to this email directly or view it on GitHub.