. ../../testutils.sh

run ThreadId.idr
