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

check boom.idr
