+#### check() requires two arguments, each the name of a file to be
+#### diff'ed.
+#### If different, global variable "failed" is incremented.
+check() {
+ #### POSIX diff should support -c.
+ diff -c "$1" "$2" || failed=`expr ${failed:-0} + 1`
+}
+