anchor.diff:             nonce = 0,
              stateful = #{db => stateful_store(),                    
                           max => TicketStoreSize,
  -                        ref_index => #{}
  +                        ref_index => #{},
  +                        id_generator => crypto:strong_rand_bytes(16)
                          }
             }.
   
  
positive.code:     Lived < LifeTime.
  
  
  stateful_psk_id() ->
      term_to_binary(make_ref()).
  
  %%%===================================================================
  %%% Stateless ticket 
  
negative.code: handle_call({new_session_ticket, Prf, MasterSecret}, _From, 
              #state{nonce = Nonce, 
                     lifetime = LifeTime,
                     stateful = #{id_generator := IdGen}} = State0) -> 
      Id = stateful_psk_ticket_id(IdGen),
      PSK = tls_v1:pre_shared_key(MasterSecret, ticket_nonce(Nonce), Prf),
      SessionTicket = new_session_ticket(Id, Nonce, LifeTime),
      State = stateful_ticket_store(Id, SessionTicket, Prf, PSK, State0),
  