public void unreg3()
{
PlainMailbox mb = new PlainMailbox(this, 1L);
mb.RegisterNotify(notify, null, 0);
mb.UnregisterNotify(notify);
mb.UnregisterNotify(notify);
mb.UnregisterNotify(notify1x);
}
public void unreg5()
{
// notify != this.notify
PlainMailbox mb = new PlainMailbox(this, 1L);
mb.RegisterNotify(notify, null, 0);
mb.UnregisterNotify(notify1x);
}
public void unreg1()
{
PlainMailbox mb = new PlainMailbox(this, 1L);
mb.UnregisterNotify(notify);
}