jump-256 ( s0 s1 s2 s3 -- s0' s1' s2' s3' )


Vocabulary
random.xoshiro

Inputs
s0an object
s1an object
s2an object
s3an object


Outputs
s0'an object
s1'an object
s2'an object
s3'an object


Definition

: jump-256 ( s0 s1 s2 s3 -- s0' s1' s2' s3' ) JUMP-256 jump ;