u64size 335 lib/sha512.c u64 lolen = u64size (len); u64size 342 lib/sha512.c u64plus (u64size (len >> 31 >> 31 >> 2),