Symbol: pcb_faultinfo