source debug/regex.pretty_print.py
source debug/stage1.gdb