anchor.diff:  %% This depends on the algorithm handler function
   -type random_alg_state() :: any().
   %% This is the algorithm handler function within this module
  --type random_alg_handler() :: function().
  +-type random_alg_handler() :: fun().
   %% Internal state
   -type random_state() :: {random_alg_handler(), random_alg_state()}.
   
  
positive.code: %%-----------------------------------------------------------------------
  
  -spec random_as183
          (name) -> atom;
          (seed0) -> ran();
          ({seed, A1, A2, A3})-> ran() when
                  A1 :: integer(), A2 :: integer(), A3 :: integer();
  
negative.code:         ({uniform_s, N, State0}) -> {integer(), State1} when
                  N:: pos_integer(), State0 :: ran(), State1 :: ran().
  
  %% seed0: initial PRNG seed
  
  random_as183(seed0) ->
  