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

#![no_std]

fn main() {
    extern crate std;
}