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