3424       enum { Ut, Btt, Btc, Bct, Cf64i, Ittt, Itct, Ittc, Itcc, GetIt,  enumerator
3450          } Bct;  member
3521       case Bct:   in eq_AvailExpr()
3523                 a1->u.Bct.op == a2->u.Bct.op  in eq_AvailExpr()
3524                 && a1->u.Bct.arg2 == a2->u.Bct.arg2  in eq_AvailExpr()
3525                 && eqIRConst(&a1->u.Bct.con1, &a2->u.Bct.con1));  in eq_AvailExpr()
3592       case Bct:  in availExpr_to_IRExpr()
3594          *con = ae->u.Bct.con1;  in availExpr_to_IRExpr()
3595          return IRExpr_Binop( ae->u.Bct.op,  in availExpr_to_IRExpr()
3597                               IRExpr_RdTmp(ae->u.Bct.arg2) );  in availExpr_to_IRExpr()
3684       case Bct:  in subst_AvailExpr()
3685          ae->u.Bct.arg2 = subst_AvailExpr_Temp( env, ae->u.Bct.arg2 );  in subst_AvailExpr()
3759             ae->tag        = Bct;  in irExpr_to_AvailExpr()
3760             ae->u.Bct.op   = e->Iex.Binop.op;  in irExpr_to_AvailExpr()
3761             ae->u.Bct.arg2 = e->Iex.Binop.arg2->Iex.RdTmp.tmp;  in irExpr_to_AvailExpr()
3762             ae->u.Bct.con1 = *(e->Iex.Binop.arg1->Iex.Const.con);  in irExpr_to_AvailExpr()