. ../../testutils.sh

run Elem.idr
