[Worker_terminate_event_queue.htm]
  expected:
    if tsan: CRASH