public void Execute() { mario.DescendFlag(deltaX); }
public void Execute() { mario.DescendFlag(delta); MusicPlayer.EffectList("flagpole").Play(); }