anchor.diff:  foo32(Pid) ->
       Pid ! msg2.
   
  +%% Deadlock, 2 proc: Both receiving.
   -spec test4() -> no_return().
   
   test4() ->
  
positive.code: foo4() ->
      receive _Any -> ok end.
  
  -spec test5() -> no_return().
  
  test5() ->
      Self = self(),
      spawn(fun() -> foo1(Self) end),
      receive 43 -> ok end.
  
negative.code: -module(test).
  -export([test1/0, test2/0, test3/0, test4/0,
  	 test5/0, test6/0, test7/0, test8/0]).
  
  %% Normal, 2 proc: Simple send-receive.
  -spec test1() -> 'ok'.
  
  test1() ->
      Self = self(),
      spawn(fun() -> foo1(Self) end),
  