func (k *ktester) post(mr kex2.MessageRouter, b []byte) error { k.seqno++ return mr.Post(k.I, k.sender, k.seqno, b) }