ADDTO            1032 crypto/third_party/nss/sha512.cc     ADDTO(a,H[0]);
ADDTO            1033 crypto/third_party/nss/sha512.cc     ADDTO(b,H[1]);
ADDTO            1034 crypto/third_party/nss/sha512.cc     ADDTO(c,H[2]);
ADDTO            1035 crypto/third_party/nss/sha512.cc     ADDTO(d,H[3]);
ADDTO            1036 crypto/third_party/nss/sha512.cc     ADDTO(e,H[4]);
ADDTO            1037 crypto/third_party/nss/sha512.cc     ADDTO(f,H[5]);
ADDTO            1038 crypto/third_party/nss/sha512.cc     ADDTO(g,H[6]);
ADDTO            1039 crypto/third_party/nss/sha512.cc     ADDTO(h,H[7]);