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

check Issue3448.idr
check NoUnbound.idr
