anchor.diff:  
   kernel_passes() ->
       %% Destructive setelement/3 optimization and core lint.
  -    [?pass(core_dsetel_module),
  +    [{pass,sys_core_dsetel},
        {iff,dsetel,{listing,"dsetel"}},
   
        {iff,clint,?pass(core_lint_module)},
        {iff,core,?pass(save_core_code)},
   
        %% Kernel Erlang and code generation.
  -     ?pass(kernel_module),
  +     {pass,v3_kernel},
        {iff,dkern,{listing,"kernel"}},
        {iff,'to_kernel',{done,"kernel"}},
        {pass,v3_life},
  
positive.code: core_inline_module(#compile{code=Code0,options=Opts}=St) ->
      Code = cerl_inline:core_transform(Code0, Opts),
      {ok,St#compile{code=Code}}.
  
  core_dsetel_module(#compile{code=Code0,options=Opts}=St) ->
      {ok,Code} = sys_core_dsetel:module(Code0, Opts),
      {ok,St#compile{code=Code}}.
  
  kernel_module(#compile{code=Code0,options=Opts}=St) ->
      {ok,Code,Ws} = v3_kernel:module(Code0, Opts),
      {ok,St#compile{code=Code,warnings=St#compile.warnings ++ Ws}}.
  
  save_abstract_code(#compile{ifile=File}=St) ->
      case abstract_code(St) of
  
negative.code:     Opts = expand_opts(Opts1),
      {ok,St0#compile{module=Mod,options=Opts,code={Mod,Exp,Forms}}}.
  
  core_fold_module_after_inlining(#compile{code=Code0,options=Opts}=St) ->
      %% Inlining may produce code that generates spurious warnings.
      %% Ignore all warnings.
  