anchor.diff:          fun((State :: evaluator_state()) -> {error, term()}).
   
   -type command() :: #{desc  := string(),
  -                     cmd   := command_fun()
  -                    }.
  +                     cmd   := command_fun()}.
   
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
positive.code:                     await_evaluator_finish(NewEvs, Fails)
              end;
          {'DOWN', _MRef, process, Pid, Reason} ->
              case lists:keydelete(Pid, 1, Evs) of
                  Evs ->
                      p("unknown process ~p died: "
                          "~n   ~p", [Pid, Reason]),
  
negative.code:     Recv = fun(Sock) ->
                     socket:recv(Sock)
             end,
      InitState = #{domain => inet,
                    send   => Send,
                    recv   => Recv},
      ok = api_b_send_and_recv_tcp(InitState),
      tc_end().
  
  
  