dc_*: add more assert