. ../../../testutils.sh
check Module30.idr
