let cast_loc_to_int _tp loc ti : D.integer = let int_term = Tint.term_of_xaddr loc in D.i_convert (Ctypes.c_ptr()) ti int_term