. ../../testutils.sh

run --cg chez Main.idr