anchor.diff:  foo32(Pid) ->
       Pid ! msg2.
   
  +%% Deadlock, 2 proc: Both receiving.
   -spec test4() -> no_return().
   
   test4() ->
  
positive.code: foo1(Pid) ->
      Pid ! 42.
  
  -spec test2() -> 'ok'.
  
  test2() ->
  
negative.code: 
  foo22() ->
      42.
  
  %% Normal, 3 proc: Simple send-receive.
  -spec test3() -> 'ok'.
  
  test3() ->
      Self = self(),
  