gdb helpers for working with rippled