let cast_int_to_loc ti (i:D.integer) _tp : loc =
      let i = D.i_convert ti (Ctypes.c_ptr()) i in
      (Tint.xaddr_of_integer i)