let string_of_string_list = print_list (function s -> s) ","