Files
gdb-gui/gui/adapt.py