docs: public Label getLabel(String name) {
          if (name==null) return null;
          Label l = (Label) superBlockNamedLabels.get(name);
          if (l==null) l = createLocalLabel(name);
          return l;
      }