let cast_loc_to_int _tp loc _ti = addr loc