anchor.diff:  -spec new() -> codeserver().
   
   new() ->
  -  #codeserver{table_pid = table__new()}.
  +  #codeserver{table_pid = ets:new(dialyzer_codeserver, [private, compressed])}.
   
   -spec delete(codeserver()) -> 'ok'.
   
   delete(#codeserver{table_pid = TablePid}) ->
  -  table__delete(TablePid).
  +  ets:delete(TablePid).
   
   -spec insert(atom(), cerl:c_module(), codeserver()) -> codeserver().
   
   insert(Mod, ModCode, CS) ->
  -  NewTablePid = table__insert(CS#codeserver.table_pid, Mod, ModCode),
  -  CS#codeserver{table_pid = NewTablePid}.
  +  Name = cerl:module_name(ModCode),
  +  Exports = cerl:module_exports(ModCode),
  +  Attrs = cerl:module_attrs(ModCode),
  +  Defs = cerl:module_defs(ModCode),
  +  As = cerl:get_ann(ModCode),
  +  Funs =
  +    [{{Mod, cerl:fname_id(Var), cerl:fname_arity(Var)},
  +      Val} || Val = {Var, _Fun} <- Defs],
  +  Keys = [Key || {Key, _Value} <- Funs],
  +  ets:insert(CS#codeserver.table_pid,
  +	     [{Mod, {Name, Exports, Attrs, Keys, As}} | Funs]),
  +  CS.
   
   -spec insert_temp_exported_types(set(), codeserver()) -> codeserver().
   
  
positive.code: 
  %%--------------------------------------------------------------------
  
  -record(codeserver, {table_pid		              :: pid(),
                       exported_types      = sets:new() :: set(), % set(mfa())
                       temp_exported_types = sets:new() :: set(), % set(mfa())
  		     exports             = sets:new() :: set(), % set(mfa())
  
negative.code: 		temp_callbacks = dict:new()
  	       }.
  
  table__lookup(TablePid, M) when is_atom(M) ->
    {Name, Exports, Attrs, Keys, As} = ets:lookup_element(TablePid, M, 2),
    Defs = [table__lookup(TablePid, Key) || Key <- Keys],
    cerl:ann_c_module(As, Name, Exports, Attrs, Defs);
  table__lookup(TablePid, MFA) ->
    ets:lookup_element(TablePid, MFA, 2).
  