pub fn _knot_mask64(a: u64) -> u64
Compute the bitwise NOT of 64-bit mask a, and store the result in k.
Intel’s documentation