/gdb/testsuite/gdb.ada/mi_catch_assert/
../
bla.adb
pck.ads