(program (fun foo -> int [] (return 5)) (fun bar -> float [] (return (* 1235 500))) (fun vertex vs_main [] (:= x int (foo)) (:= y float (bar))))