gdb python routines.