anchor.diff:  	      State, NewData, P, Event, NextState, Actions,
   	      Postpone, Hibernate, NewTimeout, NextEvents);
   	_ ->
  -	    NewS = S#{state := State, data := NewData, postponed := P},
  -	    Q = [Event|Events],
  -	    ?TERMINATE(
  -	       error, {bad_action,Action}, Debug, NewS, Q)
  +	    terminate(
  +	      error, {bad_action,Action}, ?STACKTRACE(),
  +	      Debug, S, [Event|Events], State, NewData, P)
       end;
   %%
   %% End of actions list
  
positive.code: %%% State Machine engine implementation of proc_lib/gen server
  
  %% Server loop, consists of all loop* functions
  %% and some detours through sys and proc_lib
  
  %% Entry point for system_continue/3
  loop(Parent, Debug, #{hibernate := Hibernate} = S) ->
  
negative.code: system_continue(Parent, Debug, S) ->
      loop(Parent, Debug, S).
  
  system_terminate(
    Reason, _Parent, Debug,
    #{state := State, data := Data, postponed := P} = S) ->
      terminate(
        exit, Reason, ?STACKTRACE(),
        Debug, S, [], State, Data, P).
  
  system_code_change(
    #{module := Module,
  