anchor.diff:  analyse({'#S', Str}, Dict) ->
       analyse(Str, Dict);
   analyse(T, Dict) when is_tuple(T) ->
  -    foldl(fun analyse/2, Dict, tuple_to_list(T)); 
  +    foldl(fun analyse/2, Dict, tuple_to_list(T));
   analyse(X, Dict) ->
       case dict:find(X, Dict) of
       {ok, Val} ->
  
positive.code:     {more, fun(I) -> decode1(I, Stack, Dict, MaxSize) end};
  decode(X, _Stack, _Dict, _MaxSize) ->
      {error, {eof, X}}.
             
  get_stuff(<<$\\,H,T/binary>>, Stop, L, Stack, Dict, MaxSize) -> 
      get_stuff(T, Stop, <<L/binary,H>>, Stack, Dict, MaxSize);
  get_stuff(<<$',T/binary>>, $', L, Stack, Dict, MaxSize)  -> 
      Atom = list_to_existing_atom(z_convert:to_list(L)),
      decode1(T, push(Atom,Stack), Dict, MaxSize - erts_debug:flat_size(Atom));
  get_stuff(<<$",T/binary>>, $", L, Stack, Dict, MaxSize)  -> 
      decode1(T, push(L,Stack), Dict, MaxSize - erts_debug:flat_size(L));
  get_stuff(<<$`,T/binary>>, $`, L, [[H|Tail]|Stack] = TS, Dict, MaxSize)  ->
      case L of
  
negative.code: 
  -module(z_ubf).
  
  -export([decode_init/0, decode_init/1, decode/1, decode/2, encode/1, encode/2]).
  -export([encode_print/1, deabstract/1]).
  
  