model.text = text; model.external = (inputStack.size() != 1);
    void addElementDecl(String name, String model)    {      if (elements.containsKey(name))        return;      elements.put(name, model);      entries.add("E" + name);    }