Starting :init: with pid 0
  0:	proc  - (:root:) creates proc  0 (:init:)
Starting memory_manager with pid 1
  1:	proc  0 (:init:) creates proc  1 (memory_manager)
  1:	proc  0 (:init:) line  72 "pan_in" (state 4)	[(run memory_manager())]
Starting pcbit_receive with pid 2
  2:	proc  0 (:init:) creates proc  2 (pcbit_receive)
  2:	proc  0 (:init:) line  75 "pan_in" (state 2)	[(run pcbit_receive())]
Starting pcbit_receive with pid 3
  3:	proc  0 (:init:) creates proc  3 (pcbit_receive)
  3:	proc  0 (:init:) line  76 "pan_in" (state 3)	[(run pcbit_receive())]
spin: line  39 "pan_in", Error: value (2->0 (1)) truncated in assignment
  4:	proc  2 (pcbit_receive) line  39 "pan_in" (state 2)	[channel!_pid,FROM_P,GIMME]
  4:	proc  1 (memory_manager) line  23 "pan_in" (state 1)	[channel?who,FROM_P,GIMME]
  4:	proc  2 (pcbit_receive) line  39 "pan_in" (state -)	[values: 1!2,FROM_P,GIMME]
  4:	proc  1 (memory_manager) line  23 "pan_in" (state -)	[values: 1?0,FROM_P,GIMME]
  5:	proc  1 (memory_manager) line  23 "pan_in" (state 2)	[channel!who,FROM_M,DONE]
  5:	proc  2 (pcbit_receive) line  40 "pan_in" (state 3)	[channel?_pid,FROM_M,result]
  5:	proc  1 (memory_manager) line  23 "pan_in" (state -)	[values: 1!0,FROM_M,DONE]
  5:	proc  2 (pcbit_receive) line  40 "pan_in" (state -)	[values: 1?2,FROM_M,DONE]
  6:	proc  2 (pcbit_receive) line  41 "pan_in" (state 7)	[else]
  7:	proc  3 (pcbit_receive) line  35 "pan_in" (state 19)	[goto exit]
spin: line  39 "pan_in", Error: value (3->1 (1)) truncated in assignment
  8:	proc  3 (pcbit_receive) line  39 "pan_in" (state 2)	[channel!_pid,FROM_P,GIMME]
  8:	proc  1 (memory_manager) line  24 "pan_in" (state 3)	[channel?who,FROM_P,GIMME]
  8:	proc  3 (pcbit_receive) line  39 "pan_in" (state -)	[values: 1!3,FROM_P,GIMME]
  8:	proc  1 (memory_manager) line  24 "pan_in" (state -)	[values: 1?1,FROM_P,GIMME]
  9:	proc  2 (pcbit_receive) line  45 "pan_in" (state 8)	[.(goto)]
 10:	proc  1 (memory_manager) line  24 "pan_in" (state 4)	[channel!who,FROM_M,EPIC_FAIL]
 10:	proc  3 (pcbit_receive) line  40 "pan_in" (state 3)	[channel?_pid,FROM_M,result]
 10:	proc  1 (memory_manager) line  24 "pan_in" (state -)	[values: 1!1,FROM_M,EPIC_FAIL]
 10:	proc  3 (pcbit_receive) line  40 "pan_in" (state -)	[values: 1?3,FROM_M,EPIC_FAIL]
 11:	proc  3 (pcbit_receive) line  41 "pan_in" (state 7)	[((result==EPIC_FAIL))]
 12:	proc  3 (pcbit_receive) line  42 "pan_in" (state 5)	[goto exit]
 13:	proc  2 (pcbit_receive) line  46 "pan_in" (state 16)	[(1)]
spin: line  39 "pan_in", Error: value (3->1 (1)) truncated in assignment
 14:	proc  3 (pcbit_receive) line  39 "pan_in" (state 2)	[channel!_pid,FROM_P,GIMME]
 14:	proc  1 (memory_manager) line  24 "pan_in" (state 3)	[channel?who,FROM_P,GIMME]
 14:	proc  3 (pcbit_receive) line  39 "pan_in" (state -)	[values: 1!3,FROM_P,GIMME]
 14:	proc  1 (memory_manager) line  24 "pan_in" (state -)	[values: 1?1,FROM_P,GIMME]
 15:	proc  2 (pcbit_receive) line  56 "pan_in" (state 17)	[.(goto)]
 16:	proc  2 (pcbit_receive) line  59 "pan_in" (state 20)	[.(goto)]
 17:	proc  1 (memory_manager) line  24 "pan_in" (state 4)	[channel!who,FROM_M,EPIC_FAIL]
 17:	proc  3 (pcbit_receive) line  40 "pan_in" (state 3)	[channel?_pid,FROM_M,result]
 17:	proc  1 (memory_manager) line  24 "pan_in" (state -)	[values: 1!1,FROM_M,EPIC_FAIL]
 17:	proc  3 (pcbit_receive) line  40 "pan_in" (state -)	[values: 1?3,FROM_M,EPIC_FAIL]
 18:	proc  2 (pcbit_receive) line  11 "pan_in" (state 24)	[flag[(_pid-2)] = 1]
 19:	proc  2 (pcbit_receive) line  10 "pan_in" (state 22)	[turn = (_pid-2)]
 20:	proc  3 (pcbit_receive) line  41 "pan_in" (state 7)	[((result==EPIC_FAIL))]
 21:	proc  2 (pcbit_receive) line  10 "pan_in" (state 23)	[(((flag[(3-_pid)]==0)||(turn==(3-_pid))))]
 22:	proc  2 (pcbit_receive) line  64 "pan_in" (state 28)	[.(goto)]
 23:	proc  2 (pcbit_receive) line  60 "pan_in" (state 27)	[(1)]
 24:	proc  2 (pcbit_receive) line  64 "pan_in" (state 28)	[.(goto)]
 25:	proc  3 (pcbit_receive) line  42 "pan_in" (state 5)	[goto exit]
spin: line  39 "pan_in", Error: value (3->1 (1)) truncated in assignment
 26:	proc  3 (pcbit_receive) line  39 "pan_in" (state 2)	[channel!_pid,FROM_P,GIMME]
 26:	proc  1 (memory_manager) line  23 "pan_in" (state 1)	[channel?who,FROM_P,GIMME]
 26:	proc  3 (pcbit_receive) line  39 "pan_in" (state -)	[values: 1!3,FROM_P,GIMME]
 26:	proc  1 (memory_manager) line  23 "pan_in" (state -)	[values: 1?1,FROM_P,GIMME]
 27:	proc  2 (pcbit_receive) line  60 "pan_in" (state 27)	[goto :b1]
 28:	proc  2 (pcbit_receive) line  16 "pan_in" (state 31)	[flag[(_pid-2)] = 0]
 29:	proc  1 (memory_manager) line  23 "pan_in" (state 2)	[channel!who,FROM_M,DONE]
 29:	proc  3 (pcbit_receive) line  40 "pan_in" (state 3)	[channel?_pid,FROM_M,result]
 29:	proc  1 (memory_manager) line  23 "pan_in" (state -)	[values: 1!1,FROM_M,DONE]
 29:	proc  3 (pcbit_receive) line  40 "pan_in" (state -)	[values: 1?3,FROM_M,DONE]
 30:	proc  3 (pcbit_receive) line  41 "pan_in" (state 7)	[else]
 31:	proc  2 (pcbit_receive) line  67 "pan_in" (state 32)	[goto start]
 32:	proc  3 (pcbit_receive) line  45 "pan_in" (state 8)	[.(goto)]
 33:	proc  3 (pcbit_receive) line  46 "pan_in" (state 16)	[goto exit]
spin: line  39 "pan_in", Error: value (2->0 (1)) truncated in assignment
 34:	proc  2 (pcbit_receive) line  39 "pan_in" (state 2)	[channel!_pid,FROM_P,GIMME]
 34:	proc  1 (memory_manager) line  23 "pan_in" (state 1)	[channel?who,FROM_P,GIMME]
 34:	proc  2 (pcbit_receive) line  39 "pan_in" (state -)	[values: 1!2,FROM_P,GIMME]
 34:	proc  1 (memory_manager) line  23 "pan_in" (state -)	[values: 1?0,FROM_P,GIMME]
 35:	proc  1 (memory_manager) line  23 "pan_in" (state 2)	[channel!who,FROM_M,DONE]
 35:	proc  2 (pcbit_receive) line  40 "pan_in" (state 3)	[channel?_pid,FROM_M,result]
 35:	proc  1 (memory_manager) line  23 "pan_in" (state -)	[values: 1!0,FROM_M,DONE]
 35:	proc  2 (pcbit_receive) line  40 "pan_in" (state -)	[values: 1?2,FROM_M,DONE]
 36:	proc  3 (pcbit_receive) line  35 "pan_in" (state 19)	[goto exit]