tinyE: obj
record:
a: var integer
F1:
F2: F1
in V: ref Record
F3: F2
F: F3
D:
remoteEx:
F1:
F2: F1
in V: ref Record
F3: F2
Qs:
Fx: F3
Q: Qs
R: obj Q
D: