Symbol: process_pcb