1 2 3 4 5
(main ((x integer) <- literal 1) ((y integer) <- literal 3) ((z integer) <- add (x integer) (y integer)) )