Symbol: FAULT_COUNT_INCR