pub const x86_reg_X86_REG_K4: x86_reg = 94;