Added DNDEBUG back