+ /* --filename and --execute imply --batch. */
+ if (filename || execute)
+ batch_mode = true;
+
+ /* --batch implies --quiet */
+ if (!batch_mode && !quiet)
+ print_version();
+
+ /* --execute supersedes --filename */
+ if (filename && !execute) {
+ if (!freopen(filename, "r", stdin)) {
+ print_error("failed to open %s: %s", filename,
+ strerror(errno));
+ return INIT_EXIT_FAILURE;
+ }
+ }
+
+ return execute;
+}
+
+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;
+ }