Symbol: find_hole_addr