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