label_rele
label_rele(tsl);
label_rele(tslabel);
label_rele(tslabel);
label_rele(tsl);
label_rele(zlabel);
label_rele(tsl);
label_rele(zlabel);
label_rele(mnt_tsl);
label_rele(ira->ira_tsl);
label_rele(ixa->ixa_tsl);
label_rele(ixa->ixa_tsl);
label_rele(ira->ira_tsl);
label_rele(ixm->ixm_tsl);
label_rele(irm->irm_tsl);
label_rele(ixa->ixa_tsl);
label_rele(tsl);
label_rele(ipsa->ipsa_tsl);
label_rele(ipsa->ipsa_otsl);
label_rele(tsl);
label_rele(tsl);
label_rele(acqrec->ipsacq_tsl);
label_rele(effective_tsl);
label_rele(effective_tsl);
label_rele(effective_tsl);
label_rele(newtsl);
label_rele(effective_tsl);
label_rele(effective_tsl);
label_rele(effective_tsl);
label_rele(effective_tsl);
label_rele(effective_tsl);
label_rele(ixa->ixa_tsl);
label_rele(ixa->ixa_tsl);
label_rele(ixa->ixa_tsl);
label_rele(effective_tsl);
label_rele(ixa->ixa_tsl);
label_rele(ixa->ixa_tsl);
label_rele(lbl);
label_rele(newcr->cr_label);
label_rele(lbl);
label_rele(cr->cr_label);
label_rele(tsl);
label_rele(zone->zone_slabel);
extern void label_rele(ts_label_t *);