Use static_cast