Random.Rng: type of bend-kit-random@0.1.0.1
Import: import bend-kit-random@0.1.0.1/random.bend as Random
Lines 8-10 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=8&end_line=10

import Base

# xoshiro128** state (https://prng.di.unimi.it/xoshiro128starstar.c). It is never all zero.
type Rng is Data:
  Rng{a: U32, b: U32, c: U32, d: U32}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32