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

idris2 CS_Syntax.idr < input
