Symbol: sensor_fault_t