public static void main(String args[]) {
        StringBuffer sb = new StringBuffer();
        if (args.length > 0) {
            for (int i = 0; i < args.length; i++) {
                if (i > 0) {
                    sb.append(' ');
                }
                sb.append(args[i]);
            }
            runCommandLine(sb.toString());
            return;
        }

        for (;;) {
            Library.output("Shell> ");
            int rc = Library.input(sb);

            if (rc == Kernel.ERROR_END_OF_FILE) {
                return;
            }
            if (rc < 0) {
                Library.output("Fatal error trying to read from console\n");
                System.exit(1);
            }

            if (runCommandLine(sb.toString())) {
                break;
            }
        }
    } // main(String[])