public override string ToString() {
StringBuilder result = new StringBuilder();
result.Append(base.ToString());
result.Append('[');
if (handled) {
result.Append("handled");
}
result.Append(']');
return result.ToString();
}
#endregion