Searching in gdb/testsuite/gdb.ada/null_record