Symbol: T_FLUSH_PCB