let
read_open_buffers_file f =
Ed_misc
.read_xml_file f file_list_of_xml