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

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

pub fn main() {}