2c9aa92f ^
1 2 3 4 5
(main ((x integer) <- copy (1 literal)) ((y integer) <- copy (3 literal)) ((z integer) <- add (x integer) (y integer)) )