Symbol: vestigial_inpcb_t