An interpreter for Rust's mid-level intermediate representation - rust-lang/miri