message: whitelist Windows Mutex
diff: @@ -265,6 +265,7 @@ impl<'a, 'mir, 'tcx> Machine<'a, 'mir, 'tcx> for Evaluator<'tcx> {
  const WHITELIST: &[&str] = &[
  // Uses mem::uninitialized
  "std::ptr::read",
  + "std::sys::windows::mutex::Mutex::",
  ];
  for frame in ecx.stack().iter()
  .rev().take(3)
  