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