. ../../../testutils.sh

check mut.idr
