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