let
xmls_of_guid_opt = xmls_of_opt_f xml_of_guid