@aktau @jszakmeister Any reason not to just wrap it in `#ifndef NDEBUG`?