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