Function word64_and 

pub fn word64_and(a: Word64, b: Word64) -> Word64

word64And(a, b) — bitwise AND of two Word64s (Keccak χ’s ¬b ∧ c, and byte masking).