0ca35d02 ^
d4b4d018 ^
d1c12218 ^
002cbf13 ^
be440cb6 ^
cb9e66d7 ^
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
(function main [ (fork thread2:fn) (default-space:space-address <- new space:literal 2:literal) (x:integer <- copy 34:literal) { begin (print-primitive x:integer) (loop) } ]) (function thread2 [ (default-space:space-address <- new space:literal 2:literal) (y:integer <- copy 35:literal) { begin (print-primitive y:integer) (loop) } ])