A1 = <b> A1 <c> A1.
A2 = <b> A1 <c> A1.
A = "x" <x> X <i> Integer.
X = .
B = <l> Long.
C = <i1> Integer <i2> Integer.
T : R | S.
S = <v> Vector <a> A.