. ../../testutils.sh
run --cg node Foreign.idr
