anchor.diff:                        Timers_1, Seen#{TimeoutType => true}, TimeoutEvents)
               end
       end.
  -%%
  -%% Helper function for the ugly mis-optimization workaround
  -%% loop_timeouts_cancel below
  -%%
  -%% Do not inline!
  -%%
  -loop_timeouts(
  -  P, Debug, S,
  -  Events, NextState_NewData,
  -  NextEventsR, Hibernate, TimeoutsR, Postponed,
  -  Timers, Seen, TimeoutEvents,
  -  TimeoutType) ->
  -    %%
  -    loop_timeouts(
  -      P, Debug, S,
  -      Events, NextState_NewData,
  -      NextEventsR, Hibernate, TimeoutsR, Postponed,
  -      Timers, Seen#{TimeoutType => true}, TimeoutEvents).
   
   %% Loop helper to cancel a timeout
   %%
  
positive.code:               P, Debug, S,
                Events, NextState_NewData,
                NextEventsR, Hibernate, TimeoutsR, Postponed,
                Timers_1, Seen, TimeoutEvents,
                TimeoutType);
          #{} ->
              loop_timeouts(
                P, Debug, S,
  
negative.code:     %%      NextEventsR, Hibernate, TimeoutsR, Postponed,
      %%      Timers_1, Seen#{TimeoutType => true}, TimeoutEvents).
      %%
      %% Explicitly separate cases to get separate code paths for when
      %% the map key exists vs. not, since otherwise the external call
      %% to erlang:cancel_timer/1 and to map:remove/2 within
      %% cancel_timer_by_type/2 would cause all live registers
      %% to be saved to and restored from the stack also for
      %% the case when the map key TimeoutType does not exist
      case TimeoutTypes of
          #{TimeoutType := TimerRef} ->
              Timers_1 =
  