Update static_casting.cpp