Reports the number of active worker threads.
Declared in <util/threadpool.h>
<util/threadpool.h>
[[requires_capability(0x7ff39140abd8)]] size_t WorkersCount();
the number of running workers