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