251a252,253
> #ifndef NDEBUG
> // only used in DPRINTF
252a255
> #endif