Maj
(h) = T1 + Sigma0_256((a)) + Maj((a), (b), (c)); \
(h) = T1 + Sigma0_256((a)) + Maj((a), (b), (c)); \
T2 = Sigma0_256(a) + Maj(a, b, c);
T2 = Sigma0_256(a) + Maj(a, b, c);
(h) = T1 + Sigma0_512((a)) + Maj((a), (b), (c)); \
(h) = T1 + Sigma0_512((a)) + Maj((a), (b), (c)); \
T2 = Sigma0_512(a) + Maj(a, b, c);
T2 = Sigma0_512(a) + Maj(a, b, c);
T = crypto_rol_u32(*a, 5) + Maj(*b, *c, *d) + *e + Kt + Wt;
T2 = Sigma0(*a) + Maj(*a, *b, *c);
T2 = Sigma0(*a) + Maj(*a, *b, *c);
(h) = T1 + Sigma0_256((a)) + Maj((a), (b), (c)); \
(h) = T1 + Sigma0_256((a)) + Maj((a), (b), (c)); \
T2 = Sigma0_256(a) + Maj(a, b, c);
T2 = Sigma0_256(a) + Maj(a, b, c);
(h) = T1 + Sigma0_512((a)) + Maj((a), (b), (c)); \
(h) = T1 + Sigma0_512((a)) + Maj((a), (b), (c)); \
T2 = Sigma0_512(a) + Maj(a, b, c);
T2 = Sigma0_512(a) + Maj(a, b, c);
(h) = T1 + Sigma0_256((a)) + Maj((a), (b), (c)); \
(h) = T1 + Sigma0_256((a)) + Maj((a), (b), (c)); \
T2 = Sigma0_256(a) + Maj(a, b, c);
T2 = Sigma0_256(a) + Maj(a, b, c);
(h) = T1 + Sigma0_512((a)) + Maj((a), (b), (c)); \
(h) = T1 + Sigma0_512((a)) + Maj((a), (b), (c)); \
T2 = Sigma0_512(a) + Maj(a, b, c);
T2 = Sigma0_512(a) + Maj(a, b, c);