anchor.diff:  	      Parent, Debug, S, Events, Event,
   	      NewState, NewStateData, StateOps);
   	_ ->
  -	    terminate(
  +	    ?TERMINATE(
   	      {bad_return_value,Result}, Debug, S, [Event|Events])
       end.
   
  
positive.code:       [Name |
         case Q of
  	   [] ->
  	       [FmtStateData,Class,FixedReason];
  	   [Event|_] ->
  	       [Event,FmtStateData,Class,FixedReason]
         end] ++
  	  case FixedStacktrace of
  	      [] ->
  		  [];
  
negative.code: 			postponed := P},
  		      Q, Timer);
  		[Reason,Debug] ->
  		    ?TERMINATE(Reason, Debug, S, [Event|Events]);
  		[Class,Reason,Stacktrace,Debug] ->
  		    terminate(
  		      Class, Reason, Stacktrace, Debug, S, [Event|Events])
  	    end;
  	%%
  	[Reason] ->
  	    ?TERMINATE(Reason, Debug0, S, [Event|Events])
      end.
  
  %%---------------------------------------------------------------------------
  