u64and            314 lib/sha512.c   #define F2(A, B, C) u64or (u64and (A, B), u64and (C, u64or (A, B)))
u64and            315 lib/sha512.c   #define F1(E, F, G) u64xor (G, u64and (E, u64xor (F, G)))