XPath.Ast.print query;
output_string stderr "\n##### Doc #####\n";
Tree.print_xml stderr doc (Tree.root doc);
output_string stderr "\n";
Asta.print err_formatter asta;
XPath.Ast.print query;
output_string stderr "\n##### Doc #####\n";
Tree.print_xml stderr doc (Tree.root doc);
output_string stderr "\n";
Asta.print err_formatter asta;