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