run_tests.sh imported from chap6/.