* python/lib/gdb/commands/explore.py