/gdb/testsuite/gdb.ada/ptype_tagged_param/