--- xmlstarlet-1.0.3-original/examples/results/bigxml-dtd.out	2010-11-14 10:47:45.000000000 -0500
+++ xmlstarlet-1.0.3/examples/results/bigxml-dtd.out	2010-12-18 08:10:21.257959145 -0500
@@ -1 +1 @@
--:7000x
+-:6553x