CAStestCore: obj
mutex: var integer
Process:
--[core[16]]
running: var boolean
doIt:<
res: var integer
P1: Process
i: var integer
doIt::<
P2: Process
doIt::<
P3: Process
doIt::<
P: ref Process