libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_3b
libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_3b(
libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_3b(error_as_ntt, prf_input,
libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_3b(r_as_ntt, prf_input,