Symbol: get_next_pcb