fn f@1(x: f64) -> (y: f64) {
    fn g@1() { }
    out y = x.value;
}