. ../../testutils.sh

check RLE.idr
