use DEBUG directive instead of NDEBUG