"dynamic_cast"@cs .