libcrux_ml_kem_vector_portable_ZERO_b8
repeat_expression[i] = libcrux_ml_kem_vector_portable_ZERO_b8();