Symbol: is_page_in_area