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