libcrux_ml_kem_ind_cca_unpacked_default_7b_68
key_pair = libcrux_ml_kem_ind_cca_unpacked_default_7b_68();
return libcrux_ml_kem_ind_cca_unpacked_default_7b_68();