+ return INIT_EXIT_FAILURE;
+ }
+ }
+
+ if (optind < argc) {
+ fprintf(stderr, "%s: %s", progname,
+ _("excess command-line arguments:"));
+ for (i = optind; i < argc; i++) {
+ fprintf(stderr, " %s", argv[i]);
+ }
+ fprintf(stderr, "\n");
+ print_usage(stderr);
+ return INIT_EXIT_FAILURE;
+ }
+
+ /* --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;