1 2 3 4 5
(function main [ (x:integer <- copy 1:literal) (y:integer <- copy 3:literal) (z:integer <- add x:integer y:integer) ])