let string_concat sl =   string_concat_list (list sl)