Symbol: cas_page_alloc