tinyW: obj
TTT:
%id TTT
X: var integer
TTTT: TTT
Z: var integer
A:
V:< TTT
R: ref TTT
S: ref V
Q: ref W
NestA:
AA: A
n1: var integer
AAA: AA
V::<
%id "V::<"
Y: var integer
n2: var integer
B: