binutils-gdb/gdb/testsuite/gdb.ada/catch_assert_if
..
bla.adb
pck.ads