. ../../testutils.sh

rm testout.txt

run --cg node File.idr
