static void format_string(StringOutputVisitor *sov, Range *r, bool next,

                          bool human)

{

    if (r->end - r->begin > 1) {

        if (human) {

            g_string_append_printf(sov->string, "0x%" PRIx64 "-0x%" PRIx64,

                                   r->begin, r->end - 1);



        } else {

            g_string_append_printf(sov->string, "%" PRId64 "-%" PRId64,

                                   r->begin, r->end - 1);

        }

    } else {

        if (human) {

            g_string_append_printf(sov->string, "0x%" PRIx64, r->begin);

        } else {

            g_string_append_printf(sov->string, "%" PRId64, r->begin);

        }

    }

    if (next) {

        g_string_append(sov->string, ",");

    }

}

static void format_string(StringOutputVisitor *sov, Range *r, bool next,

                          bool human)

{

    if (r->end - r->begin > 1) {

        if (human) {

            g_string_append_printf(sov->string, "0x%" PRIx64 "-0x%" PRIx64,

                                   r->begin, r->end - 1);



        } else {

            g_string_append_printf(sov->string, "%" PRId64 "-%" PRId64,

                                   r->begin, r->end - 1);

        }

    } else {

        if (human) {

            g_string_append_printf(sov->string, "0x%" PRIx64, r->begin);

        } else {

            g_string_append_printf(sov->string, "%" PRId64, r->begin);

        }

    }

    if (next) {

        g_string_append(sov->string, ",");

    }

}

static void FUNC_0(StringOutputVisitor *VAR_0, Range *VAR_1, bool VAR_2,

                          bool VAR_3)

{

    if (VAR_1->end - VAR_1->begin > 1) {

        if (VAR_3) {

            g_string_append_printf(VAR_0->string, "0x%" PRIx64 "-0x%" PRIx64,

                                   VAR_1->begin, VAR_1->end - 1);



        } else {

            g_string_append_printf(VAR_0->string, "%" PRId64 "-%" PRId64,

                                   VAR_1->begin, VAR_1->end - 1);

        }

    } else {

        if (VAR_3) {

            g_string_append_printf(VAR_0->string, "0x%" PRIx64, VAR_1->begin);

        } else {

            g_string_append_printf(VAR_0->string, "%" PRId64, VAR_1->begin);

        }

    }

    if (VAR_2) {

        g_string_append(VAR_0->string, ",");

    }

}

static void FUNC_0(StringOutputVisitor *VAR_0, Range *VAR_1, bool VAR_2,
bool VAR_3)
{ if (VAR_1->end - VAR_1->begin > 1) { if (VAR_3) { g_string_append_printf(VAR_0->string, "0x%" PRIx64 "-0x%" PRIx64,
VAR_1->begin, VAR_1->end - 1); } else { g_string_append_printf(VAR_0->string, "%" PRId64 "-%" PRId64,
VAR_1->begin, VAR_1->end - 1); } } else { if (VAR_3) { g_string_append_printf(VAR_0->string, "0x%" PRIx64, VAR_1->begin); } else { g_string_append_printf(VAR_0->string, "%" PRId64, VAR_1->begin); } } if (VAR_2) { g_string_append(VAR_0->string, ","); } }