. ../../testutils.sh

run Casts.idr
