def stop_workers() -> None:
    for worker in workers:
        ident = cast(int, worker.ident)
        stop_worker(ident)
        worker.join()
def stop_workers() -> None:
    for worker in workers:
        ident = cast(int, worker.ident)
        stop_worker(ident)
        worker.join()