Symbol: libcrux_ml_kem_ind_cpa_encrypt_2a