These tests are copied by ../run-tests.sh.
