Coherence in Rust implementation interpreter where C++ designates Store_elem as integration testing in ecosystem.

> https://github.com/rust-lang/miri