[003.html]
  expected:
    if tsan: CRASH