recipe main [
  12:integer <- copy 1:literal
  13:integer <- copy 3:literal
  11:integer <- add 12:integer, 13:integer
]