Symbol: PAGEVEC_SIZE