(program (fun vertex vs_main [] (:= a float2) (:= b float2) (:= x (+ a b).x)))