pub const TCGReg_TCG_REG_EBX: TCGReg = 3;