libcrux_ml_kem_ind_cpa_encrypt_unpacked_2a
libcrux_ml_kem_ind_cpa_encrypt_unpacked_2a(
libcrux_ml_kem_ind_cpa_encrypt_unpacked_2a(&public_key->ind_cpa_public_key,
libcrux_ml_kem_ind_cpa_encrypt_unpacked_2a(&unpacked_public_key, message,