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)
        end,
        [
         fun(_) ->
  
positive.code:     unlink(P1),
      unlink(P2),
      catch exit(P1, kill),
      catch exit(P2, kill).
  
  async_fold_config() ->
      [
  
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.
  