if (ffe_is_do_internal_checks ()) { ffebld list; ffebld item; ffebld expr;    assert ((victim->common == NULL) || (ffesymbol_equiv (victim->common) == NULL));  for (list = victim->list; list != NULL; list = ffebld_trail (list)) { for (item = ffebld_head (list); item != NULL; item = ffebld_trail (item)) { ffesymbol sym;  expr = ffebld_head (item); sym = ffeequiv_symbol (expr); if (sym == NULL) continue; assert (ffesymbol_equiv (sym) != victim); } } }
ffeequiv_kill (ffeequiv victim){  victim->next->previous = victim->previous;  victim->previous->next = victim->next;  malloc_kill_ks (ffe_pool_program_unit (), victim, sizeof (*victim));}