Symbol: fault_option