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: -spec test_new0() -> true.
  test_new0() ->
      NodeDetails = node_details:new(),
      node_details_equals(NodeDetails, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown).
  
  tester_new0(Config) ->
      tester:test(node_details_SUITE, test_new0, 0, 10),
  
negative.code:     NodeDetails2 = node_details:new(PredList, Node, SuccList, Load, Hostname, RTSize, Memory),
      NodeDetails1_new = node_details:set(NodeDetails1, hostname, HostnameTest),
      NodeDetails2_new = node_details:set(NodeDetails2, hostname, HostnameTest),
      node_details_equals(NodeDetails1_new, unknown, unknown, unknown, unknown, unknown, unknown, unknown, HostnameTest, unknown, unknown, unknown, [], [hostname]),
      node_details_equals(NodeDetails2_new, hd(PredList), PredList, Node, unknown, hd(SuccList), SuccList, Load, HostnameTest, RTSize, unknown, Memory, [my_range, message_log], []).
  
  -spec test_set_get_rt_size(RTSize::node_details:rt_size()) -> true.
  test_set_get_rt_size(RTSizeTest) ->
  