Absolutely the case. I just think it's wrong to assume - without stating it - that NDEBUG will be off "in production".