let attrib_list (s: string list): string = String.concat " " s