. ../../../testutils.sh

run Issue2128.idr
