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: tinymt_temper(R) ->
      T0 = R#tinymt_intstate32.status3,
      T1 = (R#tinymt_intstate32.status0 +
           (R#tinymt_intstate32.status2 bsr ?TINYMT32_SH8))
            band ?TINYMT32_UINT32,
      T2 = T0 bxor T1,
      T1M = (-(T1 band 1)) band ?TINYMT32_UINT32,
      T2 bxor (R#tinymt_intstate32.tmat band T1M).
  
  %% Generate 32bit-resolution float from the TinyMT internal state.
  
negative.code:     ST3 = array:set(3, R#tinymt_intstate32.tmat, ST2),
      C =
          if
              KL + 1 > ?TINYMT_MIN_LOOP ->
                  KL + 1;
              true ->
                  ?TINYMT_MIN_LOOP
          end,
      RR1 = tinymt_ini_func1(array:get(0, ST3) bxor
                    array:get(?TINYMT_MID rem ?TINYMT_SIZE, ST3) bxor
                    array:get((?TINYMT_SIZE - 1) rem ?TINYMT_SIZE, ST3)),
      ST4 = array:set(?TINYMT_MID rem ?TINYMT_SIZE,
              (array:get(?TINYMT_MID rem ?TINYMT_SIZE, ST3) + RR1) band ?TINYMT_UINT32,
                      ST3),
      RR2 = (RR1 + KL) band ?TINYMT_UINT32,
      ST5 = array:set((?TINYMT_MID + ?TINYMT_LAG) rem ?TINYMT_SIZE,
                     (array:get((?TINYMT_MID + ?TINYMT_LAG) rem ?TINYMT_SIZE, ST4) + RR2) band ?TINYMT_UINT32,
                      ST4),
      ST6 = array:set(0, RR2, ST5),
      C1 = C - 1,
      {I1, ST7} = tinymt_init_by_list32_rec1(C1, 1, K, ST6),
      ST8 = tinymt_init_by_list32_rec2(?TINYMT_SIZE, I1, ST7),
      [V0, V1, V2, V3] = array:to_list(ST8),
      R1 = tinymt_period_certification(
          R#tinymt_intstate32{status0 = V0, status1 = V1,
                         status2 = V2, status3 = V3}),
      tinymt_init_rec2(0, ?TINYMT_PRE_LOOP, R1).
  
  %%-----------------------------------------------------------------------
  
  