pub const TCGReg_TCG_REG_RDI: TCGReg = 7;