let print_xml = AXOJs.xml_of_dom