# CHECK-TREE: #record{}
()