(program (fun vertex vs_main [] (:= x float 5) (:= y float 3000) (:= z float (+ (* y y) x))))