while (not kernel_timers().empty() && s4u::Engine::get_clock() >= kernel_timers().top().first) {
result = true;
// FIXME: make the timers being real callbacks (i.e. provide dispatchers that read and expand the args)
while (not kernel_timers().empty() && s4u::Engine::get_clock() >= kernel_timers().top().first) {
result = true;
// FIXME: make the timers being real callbacks (i.e. provide dispatchers that read and expand the args)