tcps_ecn_rcvce
tcpstat_inc(tcps_ecn_rcvce);
ASSIGN(tcps_ecn_rcvce);
u_int32_t tcps_ecn_rcvce; /* # of rcvd ce in ip header */
p(tcps_ecn_rcvce, "\t\t%u CE packet%s received\n");