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