Symbol: alloc_optinsn_page