src/test/run-pass/extern/extern-mod-abi.rs

// run-pass
#![allow(dead_code)]
// pretty-expanded FIXME #23616

extern "C" {
    fn pow(x: f64, y: f64) -> f64;
}

pub fn main() {}