contract_process_exit
contract_process_exit(p->p_ct_process, p, rv);
void contract_process_exit(cont_process_t *, struct proc *, int);