(program (fun foo []) (fun foo []) (fun bar []) (fun vertex vs_main []))