void combineInto(LocalInfo l) {
			if (shadow != null) {
				getReal().combineInto(l);
				return;
			}
			l = l.getReal();
			if (this == l)
				return;
			shadow = l;
			if (shadow.name == null) {
				shadow.name = name;
				shadow.type = type;
			}
			Enumeration enum_ = usingInstrs.elements();
			while (enum_.hasMoreElements()) {
				InstrInfo instr = (InstrInfo) enum_.nextElement();
				instr.local = l;
				l.usingInstrs.addElement(instr);
			}
		}