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