private void callback_XrefRedirected(object sender, XrefRedirectedEventArgs e) { WriteLine(String.Format("XrefComandeered - old:{0} new:{1}", e.OldId, e.NewId)); }