(program (fun vertex vs_main [] (:= x float (+ 2 5))))