value_ctor