/src/tools/miri/test-cargo-miri/issue-1691/src/