Scripts that use the GDB Python API