. ../../testutils.sh

run BitRotate.idr
