libcrux_ml_kem_ind_cpa_serialize_unpacked_secret_key_6c
return libcrux_ml_kem_ind_cpa_serialize_unpacked_secret_key_6c(&public_key,
libcrux_ml_kem_ind_cpa_serialize_unpacked_secret_key_6c(