anchor.diff:  ets_behaviour([]) -> [];
   ets_behaviour([Cmd | Rest]) ->
       try ets_do(Cmd) of
  -	Res -> [{ok, Res} | ets_behaviour(Rest)]
  +	Res -> [{ok, Cmd, Res} | ets_behaviour(Rest)]
       catch A:B ->
  -	    {error, A, B,
  -	     [scrub(catch(lists:sort(ets:tab2list(T)))) || T <- [table1, table2]]}
  +	    [{error, Cmd, A, B, [scrub(catch(lists:sort(ets:tab2list(T)))) || T <- [table1, table2]]} | ets_behaviour(Rest)]
       end.
   
   scrub({'EXIT', {R, ST}}) -> {'EXIT', {R, hd(ST)}}; % Interpreter stacktraces aren't to be relied upon.
  
positive.code: ets_do({insert_new, Tab, Item}) -> ets:insert_new(Tab, Item);
  ets_do({lookup, Tab, Key}) -> ets:lookup(Tab, Key);
  ets_do({lookup_element, Tab, Key, Pos}) -> ets:lookup_element(Tab, Key, Pos);
  ets_do({delete, Tab}) -> ets:delete(Tab);
  ets_do({delete, Tab, Key}) -> ets:delete(Tab, Key).
  
  
  %% ===========================================
  
negative.code:     call(node(),erlang,Fun,Args).
  
  
  
  smaller(Domain) ->
  %    ?SIZED(SZ, triq_dom:resize(random:uniform((SZ div 2)+1), Domain)).
  