/tests/specs/worker/worker_terminate_tla_crash/