Symbol: libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_3b