anchor.diff:  -type uint64() :: 0..16#ffffffffffffffff.
   -type uint58() :: 0..16#03ffffffffffffff.
   
  --spec seed_put(state()) -> undefined | state().
  +-spec seed_put(state()) -> state().
   seed_put(Seed) ->
  -    put(?SEED_DICT, Seed).
  +    put(?SEED_DICT, Seed),
  +    Seed.
   
   seed_get() ->
       case get(?SEED_DICT) of
  
positive.code: 
  -spec seed(Alg :: alg(), {integer(), integer(), integer()}) -> state().
  seed(Alg0, S0) ->
      State = seed_s(Alg0, S0),
      _ = seed_put(State),
      State.
  
  -spec seed_s(Alg :: alg(), {integer(), integer(), integer()}) -> state().
  seed_s(Alg0, S0 = {_, _, _}) ->
  
negative.code: 
  -spec seed(AlgOrExpState::alg() | export_state()) -> state().
  seed(Alg) ->
      seed_put(seed_s(Alg)).
  
  -spec seed_s(AlgOrExpState::alg() | export_state()) -> state().
  seed_s(Alg) when is_atom(Alg) ->
  