dccp_seq
dccp_seq acknum, lastok;
dccp_seq cwnd; /* congestion window */
dccp_seq ssthresh;
dccp_seq oldcwnd_ts; /* old cwnd tail seqnr */
dccp_seq cv_hs, cv_ts; /* lowest/highest seq no in cwndvector */
dccp_seq rcvd_ack, lost_ack;
dccp_seq seqnr, low_seqnr, high_seqnr;
dccp_seq av_hs, av_ts; /* highest/lowest seq no in ackvector */
dccp_seq seq_snd;
dccp_seq ack_snd; /* ack num to send in Ack or DataAck packet */
dccp_seq gsn_rcv; /* Greatest received sequence number */
dccp_seq seq_rcv; /* Seq num of received packet */
dccp_seq ack_rcv; /* Ack num received in Ack or DataAck packet */