anchor.diff:      privacy_check(pub,prot,priv),
   
       Owner ! {shift,1,{pub,prot,priv}},   
  -    receive {Pub1,Prot1,Priv1} -> ok end,   
  -    privacy_check(Pub1,Prot1,Priv1),
  -
  -    Owner ! {shift,2,{Pub1,Prot1,Priv1}},   
  -    receive {Pub2,Prot2,Priv2} -> ok end,   
  -    privacy_check(Pub2,Prot2,Priv2),
  -
  -    Owner ! {shift,0,{Pub2,Prot2,Priv2}},   
  -    receive {Pub2,Prot2,Priv2} -> ok end,   
  -    privacy_check(Pub2,Prot2,Priv2),
  +    receive
  +        {Pub1,Prot1,Priv1} ->
  +            ok = privacy_check(Pub1,Prot1,Priv1),
  +            Owner ! {shift,2,{Pub1,Prot1,Priv1}}
  +    end,
  +
  +    receive
  +        {Pub2,Prot2,Priv2} ->
  +            ok = privacy_check(Pub2,Prot2,Priv2),
  +            Owner ! {shift,0,{Pub2,Prot2,Priv2}}
  +    end,
  +
  +    receive
  +        {Pub3,Prot3,Priv3} ->
  +            ok = privacy_check(Pub3,Prot3,Priv3)
  +    end,
   
       Owner ! die,
       receive {'EXIT',Owner,_} -> ok end,
  
positive.code:     io:format("?TAB_STRUCT_SZ=~p~n", [?TAB_STRUCT_SZ]),
      ok.
  
  adjust_xmem([T1,T2,T3,T4], {A0,B0,C0,D0} = _Mem0) ->
      %% Adjust for 64-bit, smp, and os:
      %%   Table struct size may differ.
  
  
negative.code: 	    true = ets:safe_fixtable(Tab, true),
  	    lists:foreach(fun({K,_}) -> ets:delete(Tab, K) end, Data)
      end,
      {Pid, MRef} = my_spawn_opt(fun() ->
  				       receive
  					   ets_new ->
  