use static_cast