rust/tests/run-pass-fullmir/hello.rs