inc_seq
mp->seq.next_in = seq = inc_seq(mp->local_is12bit, h.seq);
seq = inc_seq(mp->local_is12bit, seq);
mp->out.seq = inc_seq(mp->peer_is12bit, mp->out.seq);