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