. ./bigxml
xmldoc '<a>foo</a>' \
    | ./xmlstarlet val --dtd dtd/bigxml.dtd --err - 2>&1 >/dev/null \
    | sed -n "$SEDLINUM_PROG"
