Maj
T2 = BIGSIGMA0_256(a) + Maj(a, b, c);
T2 = BIGSIGMA0_512(a) + Maj(a, b, c);
T2 = BIGSIGMA0_256(a) + Maj(a, b, c); \
T2 = BIGSIGMA0(a) + Maj(a, b, c); \
T2 = BIGSIGMA0_256(a) + Maj(a, b, c);
T2 = BIGSIGMA0_512(a) + Maj(a, b, c);