rust/test-cargo-miri/issue-1705/src
..
lib.rs