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