wouldn't DCHECK suffice?