anchor.diff:      Result.
   
   priv_write_row(User, Path, Public, Secret) ->
  -    mnesia:write(#lease{s_path = Path,
  +    mnesia:write(#lease{path = Path,
                           u_id = User,
  -                        s_pub = Public,
  -                        s_sec = Secret,
  +                        public = Public,
  +                        secret = Secret,
                           time = erlang:system_time(milli_seconds)}).
  
positive.code:                 case mnesia:read(lease, Path) of
                      [] ->
                          {error, lease_not_found};
                      [#lease{s_path = Path, u_id = User, time = Time} | _]  ->
                          RemainingTime = MaxLeaseTime - (CurrentTime - Time),
                          case RemainingTime > 0 of
                              true ->
  
negative.code: 
  %% Records used as table entries
  
  -record(lease, { path :: binary()   % subpath which is locked
                 , u_id   :: binary()   % user identifier
                 , public  :: binary()   % public string used for token generation
                 , secret  :: binary()   % secret used for token generation
                 , time   :: integer()  % timestamp (time when lease acquired)
                 }).
  
  