Symbol: pt1_alloc_page