1 2 3 4 5 6 7 8 9 10 11 12 13 14
proc @foo () -> () { A: br %B B: br %C C: wait %B } ; Temporal Regions: ; - @foo: ; - %A = t0 ; - %B = t1 ; - %C = t1