+int main(int argc, char **argv)
+{
+ int execute;
+
+ switch ((execute = initialize(argc, argv))) {
+ case INIT_EXIT_SUCCESS: return EXIT_SUCCESS;
+ case INIT_EXIT_FAILURE: return EXIT_FAILURE;
+ }
+
+ if (execute)
+ return repl_cmdline(execute, argv);
+ else
+ return repl(batch_mode);