{
  __tsan_*;
  __sanitizer_syscall_pre_*;
  __sanitizer_syscall_post_*;
};