anchor.diff:  	      S#{
   		timer_refs := TimerRefs,
   		timer_types := TimerTypes,
  +		cancel_timers := CancelTimers,
   		hibernate := Hibernate},
   	      Q, Replies);
   	{stop_and_reply,Reason,Replies,NewData} ->
  
positive.code: 	      S#{
  		timer_refs := TimerRefs,
  		timer_types := TimerTypes,
  		hibernate := Hibernate},
  	      [Event|Events])
      end.
  
negative.code: 		data := NewData,
  		timer_refs := TimerRefs,
  		timer_types := TimerTypes,
  		cancel_timers := CancelTimers,
  		hibernate := Hibernate},
  	      [Event|Events]);
  	%%
  