Symbol: pageq_t