/gdb/testsuite/gdb.ada/null_record/