begin [10]struct (int age, string name) persons;
for i to UPB persons
do age of persons[i] := 20 + i;
name of persons[i] := "x" * i
od;
for i to UPB name of persons
do assert ((age of persons)[i] = 20 + i);
assert ((name of persons)[i] = "x" * i)
od
end