Symbol: set_vth_default