pub const TCGReg_TCG_REG_R15: TCGReg = 15;