static void opt_input_file(void *optctx, const char *arg)

{

    if (input_filename) {

        fprintf(stderr,

                "Argument '%s' provided as input filename, but '%s' was already specified.\n",

                arg, input_filename);

        exit(1);

    }

    if (!strcmp(arg, "-"))

        arg = "pipe:";

    input_filename = arg;

}

static void opt_input_file(void *optctx, const char *arg)

{

    if (input_filename) {

        fprintf(stderr,

                "Argument '%s' provided as input filename, but '%s' was already specified.\n",

                arg, input_filename);

        exit(1);

    }

    if (!strcmp(arg, "-"))

        arg = "pipe:";

    input_filename = arg;

}

        exit(1);         exit(1);         exit(1);         exit(1);         exit(1);         exit(1);         exit(1);         exit(1);         exit(1);         exit(1);         exit(1);         exit(1);         exit(1);         exit(1);         exit(1);         exit(1);         exit(1);
static void FUNC_0(void *VAR_0, const char *VAR_1)

{

    if (input_filename) {

        fprintf(stderr,

                "Argument '%s' provided as input filename, but '%s' was already specified.\n",

                VAR_1, input_filename);

        exit(1);

    }

    if (!strcmp(VAR_1, "-"))

        VAR_1 = "pipe:";

    input_filename = VAR_1;

}

static void FUNC_0(void *VAR_0, const char *VAR_1)
{ if (input_filename) { fprintf(stderr,
"Argument '%s' provided as input filename, but '%s' was already specified.\n",
VAR_1, input_filename); exit(1); } if (!strcmp(VAR_1, "-"))
VAR_1 = "pipe:"; input_filename = VAR_1; }