public void setIndex(int i) { index = i; }
public void add(Var e) { int index = vindex++; e.setIndex(index); vhash.Add(e.getName(), e); vhash.Add(index, e); }