#include <vppinfra/time.h>
#include <vppinfra/timer.h>
#include <vppinfra/error.h>
#include <vppinfra/time.h>
#include <vppinfra/timer.h>
#include <vppinfra/error.h>
timer_call (bar, (any) & b, random_f64 ());
while (vec_len (timers) > 0)
timer_call (bar, (any) & b, random_f64 ());
while (vec_len (timers) > 0)