docs: public int store(String label) {
  		if (StrInt.containsKey(label)) {
  			return (StrInt.get(label).intValue());
  		} else if (!newLabelsAllowed) {
  			return KEY_DUMMY_LABEL;
  		} else { // store label
  			Integer intKey = new Integer(count++);
  			StrInt.put(label, intKey);
  			IntStr.put(intKey, label);
  
  			return intKey.intValue();
  		}
  	}