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