method private set_value_ s =
    self#set_attribute "value" s ; current <- (t_of_string s)