let string_of_attr_list = function
    [] -> ""
  | l ->
      Printf.sprintf "[%s]"
        (String.concat ", " (List.map string_of_attr l))