Yes, `ENABLE_DEBUG` gets undefined in `debug.h`.