1		inst(1,def(byte,array(a,2))).
2		inst(2,def(byte,array(b,2))).
3
4		inst(3,init).
5		inst(4,assign(vt(array(a,expr(0)),byte),expr(5))).
6		inst(5,assign(vt(array(a,expr(1)),byte),expr(6))).
7		inst(6,assign(vt(array(b,expr(0)),byte),expr(10))).
8		inst(7,assign(vt(array(b,expr(1)),byte),expr(11))).
9		inst(8,p_atomic_start(def(byte,i))).
10		inst(9,p_atomic(def(byte,tmp))).
11		inst(10,p_atomic(assign(vt(i,byte),expr(0)))).
12		inst(11,p_atomic(do([12,18]))).
13		inst(12,p_atomic(expr(lt(i,2)))).
14		inst(13,p_atomic(assign(vt(tmp,byte),expr(array(b,expr(i)))))).
15		inst(14,p_atomic(assign(vt(array(b,expr(i)),byte),expr(array(a,expr(i)))))).
16		inst(15,p_atomic(assign(vt(array(a,expr(i)),byte),expr(tmp)))).
17		inst(16,p_atomic(inc(vt(i,byte)))).
18		inst(17,p_atomic(igoto(11))).
19		inst(18,p_atomic(else)).
20		inst(19,p_atomic(break(21))).
21		inst(20,p_atomic(igoto(11))).
22		inst(21,p_atomic(expr(skip))).
23		inst(22,destructor).
24
25		inst(23,proctype(active(1),message,[])).
26		inst(24,do([25])).
27		inst(25,printf("message")).
28		inst(26,igoto(24)).
29		inst(27,destructor).
30
31		line(1,1,1,1,10).
32		line(2,1,1,1,16).
33		line(4,4,5,4,13).
34		line(5,5,5,5,13).
35		line(6,6,5,6,14).
36		line(7,7,5,7,14).
37		line(8,11,2,11,8).
38		line(9,11,2,11,13).
39		line(10,12,2,12,7).
40		line(12,14,5,14,10).
41		line(13,15,6,15,16).
42		line(14,16,6,16,17).
43		line(15,17,6,17,16).
44		line(16,18,6,18,9).
45		line(18,19,5,19,9).
46		line(19,20,6,20,11).
47		line(21,22,2,22,6).
48		line(22,24,1,24,2).
49		line(25,28,8,28,25).
50		line(27,30,1,30,2).