Maj
t2 = e0(a) + Maj(a, b, c); \
t2 = e0(h) + Maj(h, a, b); c += t1; g = t1 + t2;
t2 = e0(g) + Maj(g, h, a); b += t1; f = t1 + t2;
t2 = e0(f) + Maj(f, g, h); a += t1; e = t1 + t2;
t2 = e0(e) + Maj(e, f, g); h += t1; d = t1 + t2;
t2 = e0(d) + Maj(d, e, f); g += t1; c = t1 + t2;
t2 = e0(c) + Maj(c, d, e); f += t1; b = t1 + t2;
t2 = e0(b) + Maj(b, c, d); e += t1; a = t1 + t2;
t2 = e0(a) + Maj(a, b, c); d += t1; h = t1 + t2;
h = tmp + Sigma_0(a) + Maj(a, b, c); \