3 (default-space:space-address <- new space:literal 2:literal)
4 (x:integer <- copy 34:literal)
6 (print-integer nil:literal/terminal x:integer)
12 (default-space:space-address <- new space:literal 2:literal)
13 (y:integer <- copy 35:literal)
15 (print-integer nil:literal/terminal y:integer)