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