if (KjcOptions.backendvalues != null) { return processBackendValues(KjcOptions.backendvalues); }
    public boolean parseArguments(String[] args) {        options = new KjcOptions();        if (!options.parseCommandLine(args)) {            return false;        }        infiles = Utils.toVector(options.nonOptions);        return true;    }