/src/tools/miri/tests/pass/weak_memory/
../
extra_cpp.rs
weak.rs