updated value-option.hh