Sigma0_512 607 ext/digest/sha2/sha2.c (h) = T1 + Sigma0_512(a) + Maj((a), (b), (c)), \
Sigma0_512 617 ext/digest/sha2/sha2.c (h) = T1 + Sigma0_512(a) + Maj((a), (b), (c)); \
Sigma0_512 630 ext/digest/sha2/sha2.c (h) = T1 + Sigma0_512(a) + Maj((a), (b), (c)); \
Sigma0_512 714 ext/digest/sha2/sha2.c T2 = Sigma0_512(a) + Maj(a, b, c);
Sigma0_512 737 ext/digest/sha2/sha2.c T2 = Sigma0_512(a) + Maj(a, b, c);