Could this mention that this can be compiled away with `--cfg ndebug`?