. ../../testutils.sh

run ReadDir.idr
