rust/test-cargo-miri/stdout.ref3