int resolve_disc_spec(oid obj, strings signals)
{
	gid goc, gob = curRegion->gen_signals();
	for (Pix cur = gob.first(); cur; gob.next(cur))
		if (gob(cur)->get_signal_kind() != S_null)
			goc.append(gob(cur));
	gid god, goc;
	for (Pix cur = signals->first(); cur; signals->next(cur))
		if (q = (*signals)(cur)->resolve_prefix(noid))
			gob.append(q);
	if (signals->empty()) {
		goc = curRegion->gen_signals();
		gid god = curRegion->gen_attr_specs();
	}
	for (Pix cur = gob.first(); cur; gob.next(cur)) {
		p->add_guarded_signals(gob(cur));
		gob(cur)->add_disc_specs(p);
	}
	delete signals;
		

