Symbol: page_descr_t