anchor.diff:         report_unknown = ReportUnknown,
          scheduler      = self()
         },
  -  system_ets_entries(EtsTables),
  -  system_processes_wrappers(Processes),
     P = spawn_link(fun() -> process_top_loop(InitialInfo) end),
     true = ets:insert(Processes, ?new_process(P, "P")),
     P.
  
positive.code:           exit_reason = normal       :: term(),
            extra                      :: term(),
            flags = #process_flags{}   :: #process_flags{},
            links                      :: links(),
            logger                     :: pid(),
            messages_new = queue:new() :: queue(),
  
negative.code: 
  explain_error({unknown_protocol_for_system, System}) ->
    io_lib:format(
      "A process tried to send a message to system process ~p. Concuerror does"
      " not currently support communication with this process. Please contact the"
      " developers for more information.",[System]);
  explain_error({inconsistent_builtin,
                 [Module, Name, Arity, Args, OldResult, NewResult, Location]}) ->
  