Once more about dynamic_cast, a real use case