docs: protected void configure(String[] args) throws IOException {
      for (String arg : args) {
        if (arg.startsWith("--input=")) {
          FileRef ref = createInput();
          ref.setPath(arg.substring(arg.indexOf('=') + 1));
        } else if (arg.startsWith("--output=")) {
          FileRef ref = createOutput();
          ref.setPath(arg.substring(arg.indexOf('=') + 1));
        } else if (arg.startsWith("--libdefined=")) {
          FunctionNamePredicate libdefined = new FunctionNamePredicate();
          libdefined.setPattern(arg.substring(arg.indexOf('=') + 1));
          addConfiguredLibdefined(libdefined);
        } else {
          throw new IllegalArgumentException(arg);
        }
      }
    }