anchor.diff:  %% implementation
   
   safer(LD,_,[stop|_]) ->
  +  {stop,normal,LD};
  +safer(LD,_,[shutdown|_]) ->
     {stop,shutdown,LD};
   safer(LD,F,[get_state|As]) ->
     CLD = last(As),
  
positive.code:   end;
  expand_recs(_,Term) ->
    Term.
  
negative.code: safe_reply(handle_info,LD,CLD)         -> {noreply,LD#ld{cld=CLD}};
  safe_reply(_          ,LD,CLD)         -> {ok,LD#ld{cld=CLD}}.
  
  safe_default(init,LD)        -> exit(LD);
  safe_default(handle_call,LD) -> {reply,ok,LD};
  safe_default(handle_cast,LD) -> {noreply,LD};
  safe_default(handle_info,LD) -> {noreply,LD};
  