docs: public static String operatorToString(int op) {
          String result = operatorNames.get(op);
          if (result == null)
              throw new IllegalArgumentException("Invalid operator: " + op);
          return result;
      }