. ../../testutils.sh

run BitCasts.idr
