One of D's improvements upon C/C++ is its ability to enforce "deep const-ness".