anchor.diff:  %% and write back the new value to the internal state,
   %% then returns the new value.
   
  --spec jump() -> {NewS :: state()}.
  +-spec jump() -> NewS :: state().
   
   jump() ->
       seed_put(jump(seed_get())).
  
positive.code:     {ASL, ASR} = lists:split(?RINGLEN - P, AS),
      {Alg, {ASL, lists:reverse(ASR)}}.
  
  -spec exs1024_jump(state(), list(non_neg_integer()),
             list(non_neg_integer()), non_neg_integer(),
             non_neg_integer(), non_neg_integer()) -> list(non_neg_integer()).
  
  exs1024_jump(_, AS, _, _, _, 0) ->
      AS;
  
negative.code: -define(JUMPTOTALLEN, 1024).
  -define(RINGLEN, 16).
  
  -spec exs1024_jump({alg(), exs1024_state()}) -> {alg(), exs1024_state()}.
  
  exs1024_jump({Alg, {L, RL}}) ->
      P = length(RL),
  