Symbol: pcb_t