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

pub mod foo {
    pub fn mymain() {
        println!("Hello, world!");
    }
}
use foo::mymain as main;