let cast_loc_to_int _tp _p _ti = unsupported "cast from pointer to int"