let forall_loc pool =
      let b = F.p_fresh pool "b" (Model Integerin
      let d = F.p_fresh pool "d" (Model Integerin
      let dummy_obj = Ctypes.C_int (Ctypes.c_char()) in
      let l = {base = F.var b ; off = F.var d ; obj = dummy_obj} in
      [b;d] , Loc l