if needed, it is better to modify DCHECK below