Symbol: p9ptag_t