anchor.diff:  seed_put(Seed) ->
       put(?SEED_DICT, Seed).
   
  +
  +seed_get() ->
  +    case get(?SEED_DICT) of
  +        undefined -> seed0();
  +        Old -> Old  % no type checking here
  +    end.
  +
  +
   %% seed/0: seeds RNG with default (fixed) state values and the algorithm handler
   %% in the process dictionary, and returns the old state.
   %% (compatible with the random module)
  
positive.code: -spec uniform(N :: pos_integer()) -> pos_integer().
  
  uniform(N) ->
      {X, Seed} = uniform_s(N, seed()),
      _ = seed_put(Seed),
      X.
  
  
negative.code: -spec uniform() -> float().
  
  uniform() ->
      {X, Seed} = uniform_s(seed_get()),
      _ = seed_put(Seed),
      X.
  
  