3 unit A: process(node: integer, p: pq);
4 unit finish: procedure; end finish;
12 unit B: process(node:integer, p:pq, q:pq);
14 unit finish: procedure; end finish;
24 unit pq: process(node:integer);
27 unit readval: function: Boolean;
32 unit update: procedure(arg: boolean);
41 accept readval, update;
45 var aa: A, bb: B, p,q: pq;
50 bb := new B (0, p, q);
60 if p.readval then writeln ("p is TRUE") else writeln("p is FALSE") fi;