Symbol: dt_pcb_alloc