libcrux_ml_kem_vector_portable_bitwise_and_with_constant_0d
return libcrux_ml_kem_vector_portable_bitwise_and_with_constant_0d(
libcrux_ml_kem_vector_portable_bitwise_and_with_constant_0d(