(next-256) ( s0! s1! s2! s3! -- s0 s1 s2 s3 64-random-bits )


Vocabulary
random.xoshiro

Inputs
s0!an object
s1!an object
s2!an object
s3!an object


Outputs
s0an object
s1an object
s2an object
s3an object
64-random-bitsan object


Definition


:: (next-256)
( s0! s1! s2! s3! -- s0 s1 s2 s3 64-random-bits )
s1 5 * 7 rotl-256 9 * 64 bits :> 64-random-bits s1 17 shift
64 bits :> t s0 s2 bitxor s2! s1 s3 bitxor s3! s2 s1 bitxor
s1! s3 s0 bitxor s0! s2 t bitxor s2! s3 45 rotl-256
s3! s0 s1 s2 s3 64-random-bits ; inline