tcps_ecn_sndece
tcpstat_inc(tcps_ecn_sndece);
ASSIGN(tcps_ecn_sndece);
u_int32_t tcps_ecn_sndece; /* # of ece sent */
p(tcps_ecn_sndece, "\t\t%u ECE packet%s sent\n");