to show how to use const_cast