const char *get_register_name_32(unsigned int reg)

{

    if (reg > CPU_NB_REGS32) {

        return NULL;

    }

    return x86_reg_info_32[reg].name;

}

const char *get_register_name_32(unsigned int reg)

{

    if (reg > CPU_NB_REGS32) {

        return NULL;

    }

    return x86_reg_info_32[reg].name;

}

    if (reg > CPU_NB_REGS32) {
const char *FUNC_0(unsigned int VAR_0)

{

    if (VAR_0 > CPU_NB_REGS32) {

        return NULL;

    }

    return x86_reg_info_32[VAR_0].name;

}

const char *FUNC_0(unsigned int VAR_0)
{ if (VAR_0 > CPU_NB_REGS32) { return NULL; } return x86_reg_info_32[VAR_0].name; }