@spec bxor_and_shift_right(non_neg_integer(), non_neg_integer()) :: non_neg_integer()

@spec fmix32(non_neg_integer()) :: non_neg_integer()

@spec fmix64(non_neg_integer()) :: non_neg_integer()

@spec k_32_op(
  non_neg_integer(),
  597_399_067 | 951_274_213 | 2_716_044_179 | 2_869_860_233 | 3_432_918_353,
  15 | 16 | 17 | 18,
  461_845_907 | 597_399_067 | 951_274_213 | 2_716_044_179 | 2_869_860_233
) :: non_neg_integer()

@spec k_64_op(
  non_neg_integer(),
  5_545_529_020_109_919_103 | 9_782_798_678_568_883_157,
  31 | 33,
  5_545_529_020_109_919_103 | 9_782_798_678_568_883_157
) :: non_neg_integer()

@spec rotl32(non_neg_integer(), non_neg_integer()) :: non_neg_integer()

@spec rotl64(non_neg_integer(), non_neg_integer()) :: non_neg_integer()

@spec swap_uint(binary()) :: non_neg_integer()