anchor.diff:                            Hostname::node_details:hostname() | unknown,
                             RTSize::node_details:rt_size() | unknown,
                             MsgLog::node_details:message_log() | unknown,
  -                          Memory::node_details:memory() | unknown) -> true.
  -node_details_equals(NodeDetails, Pred, PredList, Node, MyRange, Succ, SuccList, Load, Hostname, RTSize, MsgLog, Memory) ->
  -    safe_compare(NodeDetails, pred, Pred),
  -    safe_compare(NodeDetails, predlist, PredList),
  -    safe_compare(NodeDetails, node, Node),
  -    safe_compare(NodeDetails, my_range, MyRange),
  -    safe_compare(NodeDetails, succ, Succ),
  -    safe_compare(NodeDetails, succlist, SuccList),
  -    safe_compare(NodeDetails, load, Load),
  -    safe_compare(NodeDetails, hostname, Hostname),
  -    safe_compare(NodeDetails, rt_size, RTSize),
  -    safe_compare(NodeDetails, message_log, MsgLog),
  -    safe_compare(NodeDetails, memory, Memory),
  +                          Memory::node_details:memory() | unknown,
  +                          Unknown::[node_details:node_details_name()],
  +                          Known::[node_details:node_details_name()]) -> true.
  +node_details_equals(NodeDetails, Pred, PredList, Node, MyRange, Succ, SuccList, Load, Hostname, RTSize, MsgLog, Memory, Unknown, Known) ->
  +    safe_compare(NodeDetails, pred, Pred, Unknown, Known),
  +    safe_compare(NodeDetails, predlist, PredList, Unknown, Known),
  +    safe_compare(NodeDetails, node, Node, Unknown, Known),
  +    safe_compare(NodeDetails, my_range, MyRange, Unknown, Known),
  +    safe_compare(NodeDetails, succ, Succ, Unknown, Known),
  +    safe_compare(NodeDetails, succlist, SuccList, Unknown, Known),
  +    safe_compare(NodeDetails, load, Load, Unknown, Known),
  +    safe_compare(NodeDetails, hostname, Hostname, Unknown, Known),
  +    safe_compare(NodeDetails, rt_size, RTSize, Unknown, Known),
  +    safe_compare(NodeDetails, message_log, MsgLog, Unknown, Known),
  +    safe_compare(NodeDetails, memory, Memory, Unknown, Known),
       true.
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
positive.code:     NodeDetails2 = node_details:new(PredList, Node, SuccList, Load, Hostname, RTSize, Memory),
      NodeDetails1_new = node_details:set(NodeDetails1, message_log, MsgLogTest),
      NodeDetails2_new = node_details:set(NodeDetails2, message_log, MsgLogTest),
      node_details_equals(NodeDetails1_new, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, MsgLogTest, unknown) andalso
      node_details_equals(NodeDetails2_new, hd(PredList), PredList, Node, unknown, hd(SuccList), SuccList, Load, Hostname, RTSize, MsgLogTest, Memory).
  
  -spec test_set_get_memory(Memory::node_details:memory()) -> true.
  test_set_get_memory(MemoryTest) ->
  
negative.code:     NodeDetails2 = node_details:new(PredList, Node, SuccList, Load, Hostname, RTSize, Memory),
      NodeDetails1_new = node_details:set(NodeDetails1, memory, MemoryTest),
      NodeDetails2_new = node_details:set(NodeDetails2, memory, MemoryTest),
      node_details_equals(NodeDetails1_new, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, MemoryTest, [], [memory]),
      node_details_equals(NodeDetails2_new, hd(PredList), PredList, Node, unknown, hd(SuccList), SuccList, Load, Hostname, RTSize, unknown, MemoryTest, [my_range, message_log], []).
  
  tester_set_get_pred(Config) ->
      tester:test(node_details_SUITE, test_set_get_pred, 1, 1000),
      Config.
  
  tester_set_get_predlist(Config) ->
      tester:test(node_details_SUITE, test_set_get_predlist, 1, 1000),
      Config.
  
  tester_set_get_node(Config) ->
      tester:test(node_details_SUITE, test_set_get_node, 1, 1000),
      Config.
  
  tester_set_get_my_range(Config) ->
      tester:test(node_details_SUITE, test_set_get_my_range, 1, 1000),
      Config.
  
  tester_set_get_succ(Config) ->
      tester:test(node_details_SUITE, test_set_get_succ, 1, 1000),
      Config.
  
  tester_set_get_succlist(Config) ->
      tester:test(node_details_SUITE, test_set_get_succlist, 1, 1000),
      Config.
  
  tester_set_get_load(Config) ->
      tester:test(node_details_SUITE, test_set_get_load, 1, 1000),
      Config.
  
  tester_set_get_hostname(Config) ->
      tester:test(node_details_SUITE, test_set_get_hostname, 1, 1000),
      Config.
  
  tester_set_get_rt_size(Config) ->
      tester:test(node_details_SUITE, test_set_get_rt_size, 1, 1000),
      Config.
  
  tester_set_get_message_log(Config) ->
      tester:test(node_details_SUITE, test_set_get_message_log, 1, 1000),
      Config.
  
  tester_set_get_memory(Config) ->
      tester:test(node_details_SUITE, test_set_get_memory, 1, 1000),
      Config.
  