stop_worker
stop_worker(era);
goto stop_worker;
stop_worker:
stop_worker(finite_worker);
stop_worker(inf_worker);