C++ style cast