To run the tests in this directory, certify run-tests.lisp.
