. ../../testutils.sh

run ThreadData.idr
