Symbol: wcd_get_voltage_from_adc