anchor.diff:      error({return_with_receive_marker,Mark});
   verify_return(Vst) ->
       verify_no_ct(Vst),
  -    ok.
  +    kill_state(Vst).
   
   %%
   %% Common code for validating BIFs.
  
positive.code: 
  vi_safe(return, Vst) ->
      assert_durable_term({x,0}, Vst),
      verify_return(Vst),
      kill_state(Vst);
  
  %%
  %% Matching and test instructions.
  
negative.code:     verify_y_init(Vst0),
      Vst = deallocate(Vst0),
      verify_call_args(Name, Live, Vst),
      verify_return(Vst).
  
  verify_call_args(_, 0, #vst{}) ->
      ok;
  