. ../../testutils.sh

check nats.idr
