1 # example program: add two numbers 2 3 def main [ 4 11:num <- copy 1 5 12:num <- copy 3 6 13:num <- add 11:num, 12:num 7 $dump-memory 8 ]