SimpleThreadEx: obj LIB.BasicSystem.BasicSystem
%requires LIB.BasicSystem
@for::repeat:
in for: var integer
repeat:< Object
loop: obj
mutex: obj Lock
P1: obj
ch: var integer
R: obj
foo:
go:
i: var integer
loop: obj
j: var integer
P2: obj
ch: var integer
S: obj
bar:
go:
i: var integer
j: var integer
loop: obj