NDEBUG?