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

check refprims.idr
