let cast_int_to_loc _ti i tp = Addr (i, Ctypes.object_of tp)