diff -r 835ebe1b3250 -r aada518af30f src/test/test_tools_fail.cc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/test/test_tools_fail.cc	Thu Jul 22 14:21:46 2004 +0000
@@ -0,0 +1,7 @@
+#include "test_tools.h"
+
+int main() 
+{
+  check(false, "Don't panic. Failing is the right behaviour.");
+  return 0;
+}