/scripts/
../
gdb_pretty_printer.py
mir_to_dot.py