anchor.diff:  guard_match_cg(M, Rs, Le, Vdb, Bef, St0) ->
       I = Le#l.i,
       {B,St1} = new_label(St0),
  -    #cg{bfail=Fail} = St1,
  +    Fail = case St0 of
  +               #cg{bfail=0,ultimate_failure=Fail0} -> Fail0;
  +               #cg{bfail=Fail0} -> Fail0
  +           end,
       {Mis,Aft,St2} = match_cg(M, Fail, Bef, St1#cg{break=B}),
       %% Update the register descriptors for the return registers.
       Reg = guard_match_regs(Aft#sr.reg, Rs),
  
positive.code:             io:fwrite("Function: ~w/~w\n", [Name,Arity]),
              erlang:raise(Class, Error, Stack)
      end.
  
  %% This pass creates beam format annotated with variable lifetime
  %% information.  Each thing is given an index and for each variable we
  
negative.code: function(#k_fdef{anno=#k{a=Anno},func=Name,arity=Arity,
                   vars=As,body=Kb}, AtomMod, St0) ->
      try
          #k_match{} = Kb,                   %Assertion.
  
          %% Try to suppress the stack frame unless it is
          %% really needed.
          Body0 = avoid_stack_frame(Kb),
  
          %% Annotate kernel records with variable usage.
          Vdb0 = init_vars(As),
          {Body,_,Vdb} = body(Body0, 1, Vdb0),
  
          %% Generate the BEAM assembly code.
          {Asm,EntryLabel,St} = cg_fun(Body, As, Vdb, AtomMod,
  