Warning: 0ms+0: p1
Warning: 0ms+0: proc1
Procedure PROC1 []
Process :debug2:p1
Warning: 0ms+0: proc1
Procedure PROC1 []
Procedure PROC2 []
Process :debug2:p1
Warning: 0ms+0: proc2
Procedure PROC2 []
Process :debug2:p1
Warning: 1ns+0: proc3
Procedure PROC3 []
Process :debug2:b1:p2
Warning: 1ns+0: proc4
Procedure PROC4 []
Process :debug2:b1:p2
Warning: 1ns+0: proc1
Procedure PROC1 []
Process :debug2:b1:p2
Warning: 1ns+0: p2
Warning: 2ns+0: p3
Warning: 3ns+0: p4
