This is copied from Tests/simple.sh.