Shouldn't this be guarded by `DEBUG(D_any)` ?