/gdb/testsuite/gdb.ada/catch_assert