c72d8310 ^
4a0b335c ^
339001ea ^
1
2 3 4
5
6
(main ((x integer) <- literal 1) ((y integer) <- literal 3) ((z integer) <- add (x integer) (y integer)) (print (x integer) (y integer) (z integer)) )