TCPFC_COUNT
KASSERT(c < TCPFC_COUNT);
static const uint8_t npf_tcp_fsm[NPF_TCP_NSTATES][2][TCPFC_COUNT] = {