anchor.diff:  
   foo22() ->
       42.
  +
  +%% Normal, 3 proc: Simple send-receive.
  +-spec test3() -> 'ok'.
   
   test3() ->
       Self = self(),
  
positive.code: foo32(Pid) ->
      Pid ! msg2.
  
  -spec test4() -> no_return().
  
  test4() ->
  
negative.code: foo4() ->
      receive _Any -> ok end.
  
  %% Deadlock, 2 proc: Sending 42, expecting to receive 43.
  -spec test5() -> no_return().
  
  test5() ->
      Self = self(),
      spawn(fun() -> foo1(Self) end),
      receive 43 -> ok end.
  
  %% Normal, 2 proc: Nested send.
  -spec test6() -> 'ok'.
  
  test6() ->
      Self = self(),
      spawn(fun() -> foo6(Self) end),
      receive
  	Any -> receive
  		   Any -> ok
  	       end
      end.
  
  foo6(Pid) ->
      Pid ! Pid ! 42.
  
  %% Normal, 2 proc: Nested send-receive.
  -spec test7() -> 'ok'.
  
  test7() ->
      Self = self(),
      Pid = spawn(fun() -> foo7(Self) end),
      Msg = hello,
      Pid ! Msg,
      receive
  	Msg -> ok
      end.
  
  foo7(Pid) ->
      Pid ! receive
  	      Any -> Any
  	  end.
  
  %% Race, 2 proc: Classic spawn-link race.
  -spec test8() -> 'ok'.
  
  test8() ->
      Self = self(),
      Pid = spawn(fun() -> foo1(Self) end),
      link(Pid),
      receive
  	Any -> ok
      end.
  