anchor.diff:      unlink(P1),
       unlink(P2),
       catch exit(P1, kill),
  -    catch exit(P2, kill).
  +    catch exit(P2, kill),
  +    wait_until_dead(P1),
  +    wait_until_dead(P2).
   
   async_fold_config() ->
       [
  
positive.code:              unlink(P1),
               unlink(P2),
               catch exit(P1, kill),
               catch exit(P2, kill)
       end,
       [
        fun(_) ->
  
negative.code:                      ]}
      ].
  
  %% Minor sin of cut-and-paste....
  wait_until_dead(Pid) when is_pid(Pid) ->
      Ref = monitor(process, Pid),
      receive
          {'DOWN', Ref, process, _Obj, Info} ->
              Info
      after 10*1000 ->
              exit({timeout_waiting_for, Pid})
      end;
  wait_until_dead(_) ->
      ok.
  
  -endif.
  