. ../../testutils.sh

run --cg node Fix1037.idr
