Symbol: allocpages