Symbol: __totalhigh_pages