Sigma0_512
(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_512(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);