__H3
__H1(a) = __H2(a) = __H3(a) = 0;
__H1(a) = __H2(a) = __H3(a) = 0;
__H3(a) = x3;
__H3(a) = x3;
x3 = __H3(x);
y3 = __H3(y);
__H1(a) = __H2(a) = __H3(a) = 0;
__H1(a) = __H2(a) = __H3(a) = 0;
__H3(a) = x3;
__H3(a) = x3;
x3 = __H3(x);
y3 = __H3(y);