(executable
 (name tsan_check)
 (modes native))
