Symbol: HPAGE_SHIFT