libcrux_ml_kem_ind_cpa_encrypt_2a
libcrux_ml_kem_ind_cpa_encrypt_2a(ind_cpa_public_key, decrypted,
libcrux_ml_kem_ind_cpa_encrypt_2a(