DSRUU: remove some unnecessary const_cast