Symbol: TOP_PUTPAGE_SIZE