if (interactive && program.length == 0 && main == null) load("module $init$ { Interpreter.initialize }");
    public void main(String[] program, String main, String[] args) {        if (interactive) showBanner();        if (program.length > 0) load(lfiles = program);        if (global.reporter.errors() == 0 && main != null) call(main, args);        // Compute something to force loading of Predef & Interpreter        if (interactive && program.length == 0 && main == null)            load("module $init$ { Interpreter.initialize }");        if (interactive) while (handle(read()));        global.stop("total");        if (!interactive) global.reporter.printSummary();    }