anchor.diff:  -define(TRACE(X,Y), ok).
   -include("scalaris.hrl").
   -include("record_helpers.hrl").
  +
  +-define(WARN(BOOL, BOOL2, TEXT), 
  +        if
  +            BOOL andalso not (BOOL2) ->
  +                log:log("loncq: " ++ TEXT);
  +            true -> ok
  +        end).
   
   -export([read/1, read/2]).
   %%-export([write/2]).
  
positive.code:         (_, _, _) ->
              {true, null}
      end.
  
  % @doc only for unittests
  -spec is_valid_update(non_neg_integer(), non_neg_integer()) ->
  
negative.code: 
  -spec is_valid(lease_t()) -> boolean().
  is_valid(L) ->
      case L of
          empty ->
              %% should not happen but it does
              log:log("loncq: you are calling is_valid on an empty lease~n"),
              false;
          _ ->
              os:timestamp() <  L#lease.timeout
      end.
  
  -spec has_timed_out(lease_t()) -> boolean().
  has_timed_out(L) ->
  