Random.next: def of bend-kit-random@0.1.0.1
Import: import bend-kit-random@0.1.0.1/random.bend as Random
Lines 37-45 of bend-kit-random@0.1.0.1/random.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-random@0.1.0.1/random.bend&start_line=37&end_line=45

import Base

# One xoshiro128** step: a uniform U32 and the next state.
def next(r: Rng) -> U32 & Rng:
  match r:
    case Rng{+a, +b, +c, +d}:
      +c1 = (c .^. a : U32)
      +d1 = (d .^. b : U32)
      ((rotl((b * 5 : U32), 7n, 25n) * 9 : U32),
        Rng{(a .^. d1 : U32), (b .^. c1 : U32), (c1 .^. (b << 9n) : U32),
          rotl(d1, 11n, 21n)})

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shln
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.xor
  https://jend.leeeet.dev/definition.txt?path=bend-kit-random@0.1.0.1/random.bend&name=Rng
  https://jend.leeeet.dev/definition.txt?path=bend-kit-random@0.1.0.1/random.bend&name=rotl