Symbol: vctrl_voltage_range