contract_rele
contract_rele(ct); /* remove hold for dip linkage */
contract_rele(ct); /* remove hold for dip linkage */
contract_rele(ctp->ctp_subsume);
contract_rele(ct);
contract_rele(ct);
contract_rele(ctp->ctp_subsume);
contract_rele(ct);
contract_rele(ct);
contract_rele(ct);
contract_rele(ct);
contract_rele(symnode->ctfs_sn_contract);
contract_rele(ct);
contract_rele(ct);
contract_rele(ct);
contract_rele(pnp->pr_contract);
contract_rele(e->cte_contract);
contract_rele(curlwp->lwp_ct_latest[type->ct_type_index]);
contract_rele(ct);
contract_rele(ct);
contract_rele(lwp->lwp_ct_latest[i]);
void contract_rele(contract_t *);
contract_rele(ct);
contract_rele(ct);