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

run Issue2138.idr
