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