libcrux_ml_kem_vector_portable_arithmetic_bitwise_and_with_constant
libcrux_ml_kem_vector_portable_arithmetic_bitwise_and_with_constant(