anchor.diff:  -spec spawn_first_process(options()) -> pid().
   
   spawn_first_process(Options) ->
  -  {'after-timeout', AfterTimeout} = proplists:lookup('after-timeout', Options),
  -  {ets_tables, EtsTables} = proplists:lookup(ets_tables, Options),
  -  {logger, Logger} = proplists:lookup(logger, Options),
  -  {processes, Processes} = proplists:lookup(processes, Options),
  +  [AfterTimeout, EtsTables, Logger, Processes] =
  +    get_properties(['after-timeout', ets_tables, logger, processes], Options),
     InitialInfo =
       #concuerror_info{
          'after-timeout' = AfterTimeout,
  
positive.code:          next_event = NextEvent,
           trap_exit = Trapping
          } = UpdatedInfo =
          locate_next_event(Location, ReceiveInfo),
        ReceiveEvent =
          #receive_event{
             message = MessageOrAfter,
  
negative.code:   %% XXX:  - send monitor messages
    ?debug_flag(?exit, {going_to_exit, Reason}),
    LocatedInfo = #concuerror_info{next_event = Event} =
      add_location_info(exit, set_status(Info, exiting)),
    Notification =
      Event#event{
        event_info =
  