27.3.6. C++ type casting