anchor.diff:  insert_interface(AST, Exports) ->
       insert_interface_inner(AST,Exports,[]).
   
  +
   make_interface_functions(AST, Exports) ->
       InterfaceFns = [make_interface_function(Fn)|| Fn <-Exports],
       insert_interface(AST, InterfaceFns).
   
   
  +make_handler_clauses(AST, Exports,PL) ->
  +    NewClauses = [base_fn_clause(Predicate, Arity, PL) ||{Predicate, Arity} <- Exports],
  +    AST1       = lists:keyreplace(handle_call,3, AST,
  +                                  {function, 39, handle_call, 3,
  +                                   NewClauses}),
  +    {ok,AST1}.
  +
   
   make_param_list(ParamCount,Line) when is_integer(ParamCount)->   
       PList     = lists:seq(65,65 + ParamCount -1),
  -    PAtomList = [list_to_atom([P]) ||P <-PList],
  +    PAtomList = [list_to_atom([$_,P]) ||P <-PList],
       [{var, Line, PAtom}|| PAtom <- PAtomList].
   
   
  
positive.code:                               [{clause,26,[],[],[{tuple,27,[{atom,27,ok},AbstractDB]}]}]}),
      {ok, AST1}. 
  
  make_handler_clauses(AST, Exports,PL) ->
      NewClauses = [base_fn_clause(Predicate, Arity, PL) ||{Predicate, Arity} <- Exports],
      AST1       = lists:keyreplace(handle_call,3, AST,
                                    {function, 39, handle_call, 3,
                                     NewClauses}),
      {ok,AST1}.
  
  
  make_interface_function({Function, Arity}) when is_atom(Function) and is_integer(Arity)->
  
negative.code:             }]
            }]}]}]}.
  
  
  insert_interface_inner([],_, Acc) ->
      {ok,Acc};
  insert_interface_inner([{function,_, interface,_,_}|Rest], [], Acc) ->
  