private void Command119(dynamic args) { AppendText("@>"); this.AppendText(String.Format("JumpToLabel: {0}", args[0]), Color.Blue); }