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