Symbol: pxd_t