let
get_idle_workers state =
state.idle_workers