os-rust/src/test/run-pass/inlined-main.rs