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