SGE_NDBQTIMERS
uint16_t dbq_timers[SGE_NDBQTIMERS];
ASSERT(idx < SGE_NDBQTIMERS);
for (uint_t i = 0; i < SGE_NDBQTIMERS; i++) {
ASSERT3U(chosen_idx, <, SGE_NDBQTIMERS);