AGENT_COUNTER_NCOUNTERS
uint64_t ctrs[AGENT_COUNTER_NCOUNTERS];
uint64_t if_agent_counters[AGENT_COUNTER_NCOUNTERS];
uint64_t agent_counters[AGENT_COUNTER_NCOUNTERS];