Avoid warnings under NDEBUG.