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

idris2 Issue3487.idr < input
