// run-pass
// pretty-expanded FIXME #23616

extern "Rust" fn main() {}