. ../../testutils.sh

run --cg node StringCast.idr
