. ../../testutils.sh

run Issue775.idr
