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