method set_value vv = self#set_attribute "value" (string_of_t vv) ; v <- vv