configurable -DPARANOID and -DVERYPARANOID via ./configure