shrink-basic-realistic-tests.sh
