(main
  ((x integer) <- copy (1 literal))
  ((y integer) <- copy (3 literal))
  ((z integer) <- add (x integer) (y integer))
)