to show how dynamic_cast works