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