. ../../../testutils.sh
check Issue3354.idr
