. ../../testutils.sh
CHEZ=false idris2 -c Hello.idr -o hello
