anchor.diff:              spawn_link -> fun spawn_link/1;
               spawn_monitor -> fun spawn_monitor/1
           end,
  -    case ?LID_FROM_PID(self()) of
  -        not_found -> Spawner(Fun);
  -        _Lid ->
  -            concuerror_sched:notify(Kind, unknown),
  -            Result = Spawner(fun() -> spawn_fun_wrapper(Fun) end),
  -            concuerror_sched:notify(Kind, Result, prev),
  -            %% Wait before using the PID to be sure that an LID is assigned
  -            concuerror_sched:wait(),
  -            Result
  -    end.
  +    concuerror_sched:notify(Kind, unknown),
  +    Result = Spawner(fun() -> spawn_fun_wrapper(Fun) end),
  +    concuerror_sched:notify(Kind, Result, prev),
  +    %% Wait before using the PID to be sure that an LID is assigned
  +    concuerror_sched:wait(),
  +    Result.
   
   -spec spawn_fun_wrapper(function()) -> term().
   spawn_fun_wrapper(Fun) ->
  
positive.code:                 throw -> throw(Type);
                  exit  -> exit(Type)
              end
      end.                    
  
  find_my_info() ->
      MyEts = find_my_ets_tables(),
  
negative.code:     PPid = self(),
      {links, AllPids} = process_info(PPid, links),
      AllLids = [?LID_FROM_PID(Pid) || Pid <- AllPids],
      [KnownLid || KnownLid <- AllLids, KnownLid =/= not_found].
  
  %% @spec rep_receive(
  %%          fun((term()) -> 'block' | 'continue'),
  