3420       enum { Ut, Btt, Btc, Bct, Cf64i, Ittt, Itct, Ittc, Itcc, GetIt,  enumerator
3446          } Bct;  member
3517       case Bct:   in eq_AvailExpr()
3519                 a1->u.Bct.op == a2->u.Bct.op  in eq_AvailExpr()
3520                 && a1->u.Bct.arg2 == a2->u.Bct.arg2  in eq_AvailExpr()
3521                 && eqIRConst(&a1->u.Bct.con1, &a2->u.Bct.con1));  in eq_AvailExpr()
3588       case Bct:  in availExpr_to_IRExpr()
3590          *con = ae->u.Bct.con1;  in availExpr_to_IRExpr()
3591          return IRExpr_Binop( ae->u.Bct.op,  in availExpr_to_IRExpr()
3593                               IRExpr_RdTmp(ae->u.Bct.arg2) );  in availExpr_to_IRExpr()
3680       case Bct:  in subst_AvailExpr()
3681          ae->u.Bct.arg2 = subst_AvailExpr_Temp( env, ae->u.Bct.arg2 );  in subst_AvailExpr()
3755             ae->tag        = Bct;  in irExpr_to_AvailExpr()
3756             ae->u.Bct.op   = e->Iex.Binop.op;  in irExpr_to_AvailExpr()
3757             ae->u.Bct.arg2 = e->Iex.Binop.arg2->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()
3758             ae->u.Bct.con1 = *(e->Iex.Binop.arg1->Iex.Const.con);  in irExpr_to_AvailExpr()