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