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

run Issue2950.idr
