Specifying algorithm visualizations: Interesting events or state mapping?