0ca35d02 ^
2c9aa92f ^
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)) ])