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)