anchor.diff:  -define(JUMPTOTALLEN, 1024).
   -define(RINGLEN, 16).
   
  --spec exs1024_jump(state()) -> state().
  +-spec exs1024_jump({alg(), exs1024_state()}) -> {alg(), exs1024_state()}.
   
   exs1024_jump({Alg, {L, RL}}) ->
       P = length(RL),
  
positive.code: %% after a large number of call defined for each algorithm.
  %% The large number is algorithm dependent.
  
  -spec jump(state()) -> {NewS :: state()}.
  jump(State = {#{jump:=Jump}, _}) ->
      Jump(State).
  
  
negative.code:     {ASL, ASR} = lists:split(?RINGLEN - P, AS),
      {Alg, {ASL, lists:reverse(ASR)}}.
  
  -spec exs1024_jump(exs1024_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;
  