anchor.diff:  bindings(SP) ->
       bindings(SP, get(?STACK)).
   
  -bindings(SP, [{SP,{_MFA,_Wh,Bs}}|_]) ->
  +bindings(SP, [#e{level=SP,bindings=Bs}|_]) ->
       Bs;
   bindings(SP, [_Entry|Entries]) ->
       bindings(SP, Entries);
  
positive.code: 
  -define(STACK, ?MODULE).
  
  init() ->
      init([]).
  
  
negative.code: 		all -> get(?STACK);
  		N -> lists:sublist(get(?STACK), N)
  	    end,
      [{Le,MFA} || #e{level=Le,mfa=MFA} <- Stack].
  
  %%--------------------------------------------------------------------
  %% in_use_p(Mod, Cm) -> boolean()
  