pub const TCGReg_TCG_REG_RBP: TCGReg = 5;