Symbol: base_pages_alloc