Use c++ type-casting