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