(program (fun foo -> int [] (return 4)) (fun vertex vs_main [] (foo)))