rts_ncounters
rtcounters = counters_alloc(rts_ncounters);
enum rtstat_counters stat = rts_ncounters;
else if (stat != rts_ncounters)
uint64_t counters[rts_ncounters];