docs: public Label createLocalLabel(String name) {
          Label l = (Label) currentBlockNamedLabels.get(name);
          if (l==null) {
              l = new Label();
              currentBlockNamedLabels.put(name,l);
          }
          return l;
      }