Sigma0_512        108 libavutil/sha512.c     (h) = T1 + Sigma0_512(a) + Maj((a), (b), (c)); \
Sigma0_512        142 libavutil/sha512.c         T2 = Sigma0_512(a) + Maj(a, b, c);