runtime_static_typing.cc