#!/bin/sh
# DF-3425 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh  (/tmp/gif_race 240, root)