libcrux_ml_kem_vector_portable_ZERO_0d
libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[0U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[1U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[2U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[3U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[4U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[5U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[6U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[7U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[8U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[9U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[10U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[11U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[12U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[13U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[14U] = libcrux_ml_kem_vector_portable_ZERO_0d();
lit.coefficients[15U] = libcrux_ml_kem_vector_portable_ZERO_0d();