anchor.diff:  -spec tinymt_ini_func1(uint32()) -> uint32().
   
   tinymt_ini_func1(X) ->
  -    ((X bxor (X bsr 27)) * 1664525) band ?TINYMT32_UINT32.
  +    ((X bxor (X bsr 27)) * 1664525) band ?TINYMT_UINT32.
   
   -spec tinymt_ini_func2(uint32()) -> uint32().
   
   tinymt_ini_func2(X) ->
  -    ((X bxor (X bsr 27)) * 1566083941) band ?TINYMT32_UINT32.
  +    ((X bxor (X bsr 27)) * 1566083941) band ?TINYMT_UINT32.
   
   -spec tinymt_init_rec2(integer(), integer(),
           tinymt_intstate32()) -> tinymt_intstate32().
  
positive.code:     X0 = R#tinymt_intstate32.status0
           bxor R#tinymt_intstate32.status1
           bxor R#tinymt_intstate32.status2,
      X1 = (X0 bxor (X0 bsl ?TINYMT32_SH0)) band ?TINYMT32_UINT32,
      Y1 = Y0 bxor (Y0 bsr ?TINYMT32_SH0) bxor X1,
      S0 = R#tinymt_intstate32.status1,
      S10 = R#tinymt_intstate32.status2,
      S20 = (X1 bxor (Y1 bsl ?TINYMT32_SH1)) band ?TINYMT32_UINT32,
      S3 = Y1,
      Y1M = (-(Y1 band 1)) band ?TINYMT32_UINT32,
      S1 = S10 bxor (R#tinymt_intstate32.mat1 band Y1M),
      S2 = S20 bxor (R#tinymt_intstate32.mat2 band Y1M),
      R#tinymt_intstate32{
  
negative.code:     {I, ST};
  tinymt_init_by_list32_rec1(K, I, [], ST) ->
      RR = tinymt_ini_func1(array:get(I, ST) bxor
               array:get((I + ?TINYMT_MID) rem ?TINYMT_SIZE, ST) bxor
               array:get((I + ?TINYMT_SIZE - 1) rem ?TINYMT_SIZE, ST)),
      ST2 = array:set((I + ?TINYMT_MID) rem ?TINYMT_SIZE,
                (array:get((I + ?TINYMT_MID) rem ?TINYMT_SIZE, ST) + RR)
                 band ?TINYMT_UINT32, ST),
      RR2 = (RR + I) band ?TINYMT_UINT32,
      ST3 = array:set((I + ?TINYMT_MID + ?TINYMT_LAG) rem ?TINYMT_SIZE,
                   (array:get((I + ?TINYMT_MID + ?TINYMT_LAG) rem ?TINYMT_SIZE, ST2) + RR2) band ?TINYMT_UINT32,
                   ST2),
      ST4 = array:set(I, RR2, ST3),
      I2 = (I + 1) rem ?TINYMT_SIZE,
      tinymt_init_by_list32_rec1(K - 1, I2, [], ST4);
  tinymt_init_by_list32_rec1(K, I, Key, ST) ->
      RR = tinymt_ini_func1(array:get(I, ST) bxor
                    array:get((I + ?TINYMT_MID) rem ?TINYMT_SIZE, ST) bxor
                    array:get((I + ?TINYMT_SIZE - 1) rem ?TINYMT_SIZE, ST)),
      ST2 = array:set((I + ?TINYMT_MID) rem ?TINYMT_SIZE,
                     (array:get((I + ?TINYMT_MID) rem ?TINYMT_SIZE, ST) + RR) band ?TINYMT_UINT32,
                      ST),
      [H|T] = Key,
      RR2 = (RR + H + I) band ?TINYMT_UINT32,
      ST3 = array:set((I + ?TINYMT_MID + ?TINYMT_LAG) rem ?TINYMT_SIZE,
                   (array:get((I + ?TINYMT_MID + ?TINYMT_LAG) rem ?TINYMT_SIZE, ST2) + RR2) band ?TINYMT_UINT32,
                   ST2),
      ST4 = array:set(I, RR2, ST3),
      I2 = (I + 1) rem ?TINYMT_SIZE,
      tinymt_init_by_list32_rec1(K - 1, I2, T, ST4).
  
  -spec tinymt_init_by_list32_rec2
  