static void dump_ops(const uint16_t *opc_buf)

{

    const uint16_t *opc_ptr;

    int c;

    opc_ptr = opc_buf;

    for(;;) {

        c = *opc_ptr++;

        fprintf(logfile, "0x%04x: %s\n", opc_ptr - opc_buf - 1, op_str[c]);

        if (c == INDEX_op_end)

            break;

    }

}

static void dump_ops(const uint16_t *opc_buf)

{

    const uint16_t *opc_ptr;

    int c;

    opc_ptr = opc_buf;

    for(;;) {

        c = *opc_ptr++;

        fprintf(logfile, "0x%04x: %s\n", opc_ptr - opc_buf - 1, op_str[c]);

        if (c == INDEX_op_end)

            break;

    }

}

static void FUNC_0(const uint16_t *VAR_0)

{

    const uint16_t *VAR_1;

    int VAR_2;

    VAR_1 = VAR_0;

    for(;;) {

        VAR_2 = *VAR_1++;

        fprintf(logfile, "0x%04x: %s\n", VAR_1 - VAR_0 - 1, op_str[VAR_2]);

        if (VAR_2 == INDEX_op_end)

            break;

    }

}

static void FUNC_0(const uint16_t *VAR_0)
{ const uint16_t *VAR_1; int VAR_2; VAR_1 = VAR_0; for(;;) { VAR_2 = *VAR_1++; fprintf(logfile, "0x%04x: %s\n", VAR_1 - VAR_0 - 1, op_str[VAR_2]); if (VAR_2 == INDEX_op_end)
break; } }