. ../../testutils.sh

run -p network Echo.idr
