2529       enum { Ut, Btt, Btc, Bct, Cf64i, Mttt, GetIt } tag;  enumerator
2553          } Bct;  member
2593       case Bct:   in eq_AvailExpr()
2595                 a1->u.Bct.op == a2->u.Bct.op  in eq_AvailExpr()
2596                 && a1->u.Bct.arg2 == a2->u.Bct.arg2  in eq_AvailExpr()
2597                 && eqIRConst(&a1->u.Bct.con1, &a2->u.Bct.con1));  in eq_AvailExpr()
2628       case Bct:  in availExpr_to_IRExpr()
2630          *con = ae->u.Bct.con1;  in availExpr_to_IRExpr()
2631          return IRExpr_Binop( ae->u.Bct.op,  in availExpr_to_IRExpr()
2633                               IRExpr_RdTmp(ae->u.Bct.arg2) );  in availExpr_to_IRExpr()
2674       case Bct:  in subst_AvailExpr()
2675          ae->u.Bct.arg2 = subst_AvailExpr_Temp( env, ae->u.Bct.arg2 );  in subst_AvailExpr()
2731       ae->tag        = Bct;  in irExpr_to_AvailExpr()
2732       ae->u.Bct.op   = e->Iex.Binop.op;  in irExpr_to_AvailExpr()
2733       ae->u.Bct.arg2 = e->Iex.Binop.arg2->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()
2734       ae->u.Bct.con1 = *(e->Iex.Binop.arg1->Iex.Const.con);  in irExpr_to_AvailExpr()