f64 + i32 + i32
