Symbol: FAULT_TIMER