anchor.diff:          {?VNODE_STATUS_VERSION, undefined, _ID} ->
               %% Lost counter? Wha? New ID
               new_id_and_counter(Status, LeaseSize);
  -        {?VNODE_STATUS_VERSION, Leased, _ID} when Leased + LeaseSize > ?MAX_CNTR ->
  +        {_AnyVersion, Leased, _ID} when Leased + LeaseSize > ?MAX_CNTR ->
               %% Since `LeaseSize' must be > 0, there is no edge here
               %% where last lease size was ?MAX_CNTR and new lease size
               %% is 0.
               new_id_and_counter(Status, LeaseSize);
  -        {?VNODE_STATUS_VERSION, Leased, ID} ->
  +        {_AnyVersion, Leased, ID} ->
               NewLease = Leased + LeaseSize,
               {PrevLease, NewLease, ID, orddict:store(counter, NewLease, Status)}
       end.
  
positive.code: -endif.
  
  -ifdef(TEST).
  
  %% Check assigning a vnodeid twice in the same second
  assign_vnodeid_restart_same_ts_test() ->
  
negative.code:              ok = write_vnode_status([{vnodeid, VnodeId}], ?TEST_FILE, 1),
               ?TEST_FILE
           end).
  -endif.
  
  -endif.
  