>>>>> "Christian" == Christian Biesinger <cbiesinger@google.com> writes: >> + b info_command Christian> It would probably be good to add a comment here? Christian> # This provides an easy way to break into the top-level GDB by typing "info" Good idea, I added this. Tom