DELTAELM
DELTAELM(xt_tp.snd_max) ||
DELTAELM(xt_tp.rcv_nxt)
numtok(DELTAELM(xt_tp.rcv_nxt)),
numtok(DELTAELM(xt_tp.snd_max)),