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

check A.idr
