{
  __msan_*;
  __sanitizer_syscall_pre_*;
  __sanitizer_syscall_post_*;
};