void set_string_property(string name, string v_string, string origin);