T(0,enum E2 a:7;,B(0,a,e2_m1,e2_0))