use C++ casts