COMMAND: bash examples/kotlin-language/verification/26.sh
EXIT_CODE=0
