Rename DEBUG to ASSERT and TRACE in their respective uses