in source/evp_override.c [57:66]
int EVP_PKEY_set1_EC_KEY(EVP_PKEY *pkey, EC_KEY *key) { if (pkey == NULL || key == NULL || nondet_bool()) { return 0; } EC_KEY_up_ref(key); pkey->ec_key = key; return 1; }