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