to show how to use const_cast of C++