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