anchor.diff:      printfn "PING: -> %s" (serialize_guid neighbor)
       if neighbor = node.guid then // No smaller leaves
           // Send it to the highest leaf
  -        printfn "PASTRY: No other leaves, ping delayed..."
  +        printfn "PING: No other leaves, ping delayed..."
           node, inter.state
       else
           let address =
  
positive.code:                 failwith "ASSERTION FAILED: Smallest key not found in leaves... WTF!"
          match send_message address Ping "" neighbor with
          | None ->
              printfn "PASTRY: Neighbor is dead, do something!"
              handle_dead_leaf node neighbor route inter
          | Some(resp, status) ->
              node, inter.state
  
negative.code:                 failwith "ASSERTION FAILED: Smallest key not found in leaves... WTF!"
          match send_message address Backup state_msg neighbor with
          | None ->
              printfn "BACKUP: No reply for backup: Handle node failure?"
          | Some(resp, status) ->
              printfn "BACKUP: Backed up succesfully!"
  
  // Adds the given node as a neighbor if it makes sense (I'm not using this ATM)
  let try_add_neighbor (node: Node) (guid: GUID) (address: NetworkLocation) : Node =
  