anchor.diff:  loop(#state{parent = Parent, monitor = MRef, table = Table,
               includes = Includes} = State) ->
       receive
  -        {From, {set, Mod, K2, V}} ->
  +        {set, Mod, K2, V} ->
               [{_, Modtab}] = ets:lookup(Table, Mod),
               ets:insert(Modtab, {K2, V}),
  -            reply(From, ok),
               loop(State);
           {From, {get, Mod, K2}} ->
               Result = case ets:lookup(Table, Mod) of
  
positive.code:     ok.
  
  dbnew(Module)              -> req({new, Module}).
  dbsave(OutFile, Module)    -> req({save, OutFile, Module}).
  dbput(Module, K, V)        -> req({set, Module, K, V}).
  dbget(Module, K)           -> req({get, Module, K}).
  dbstop()                   -> Resp = req(stop), erase(?MODULE), Resp.
  
  
negative.code:                 _Error       -> reply(From, undefined)
              end,
              loop(State);
          {save, OutFile, Mod} ->
              [{_,Mtab}] = ets:lookup(Table, Mod),
              ok = ets:tab2file(Mtab, OutFile),
              loop(State);
          {From, {new, Mod}} ->
              [] = ets:lookup(Table, Mod),	%Assertion.
  