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

idris2 Vending.idr --debug-elab-check < input
