anchor.diff:  
   test17() ->
       process_flag(trap_exit, true),
  -    spawn_link(fun() -> foo17() end),
  +    spawn_link(fun() -> ok end),
       process_flag(trap_exit, false),
       receive
   	_Exit -> ok
       end.
  -
  -foo17() ->
  -    ok.
   
   %% Assertion violation/Normal, 3 proc: Testing interleaving of process exits
   %% and trap_exit.
  
positive.code: 
  test15() ->
      process_flag(trap_exit, true),
      Child = spawn_link(fun() -> foo15() end),
      receive
  	{'EXIT', Child, normal} -> ok
      end.
  
  foo15() ->
      ok.
  
  %% Normal, 2 proc: Spawn link, trap_exit and receive exit message.
  %% Same as above, but with catch-all instead of specific pattern.
  
negative.code: 
  test16() ->
      process_flag(trap_exit, true),
      spawn_link(fun() -> ok end),
      receive
  	_Exit -> ok
      end.
  
  %% Deadlock/Normal, 2 proc: Spawn link, trap_exit and receive exit message.
  %% Same as above, but trap_exit is set to false before receive.
  