let xml_of_source s =
  Element ("source",
           ["url", s.src_url],
           [PCData s.src_name]
          )