Require `extern "Rust" fn main()` exactly