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)