"run_time_up_or_down_cast : Casting pointer to '"
<< TypeName(typeid(*(Dummy*)source_pointer))
<< "' from " << TypeName(source_type)
"run_time_up_or_down_cast : Casting pointer to '"
<< TypeName(typeid(*(Dummy*)source_pointer))
<< "' from " << TypeName(source_type)