Symbol: update_fault_count