Symbol: libcrux_ml_kem_vector_portable_arithmetic_bitwise_and_with_constant