(main ((1 integer) <- literal 1) ((2 integer) <- literal 3) ((3 integer) <- add (1 integer) (2 integer)) )