docs: void dedup(final Map<String, char[]> table) {
          String l = getLabel();
          char[] v = table.get(l);
          if (v != null) {
              label = v;
          }
          else {
              table.put(l, label);
          }
      }