Use C++ cast