src/tools/miri/tests/pass/rename_std.rs

#![no_std]

extern crate std as foo;

fn main() {}