the element the streams start at: past the high word of the plan's
highest address window. A launch's parameter block is patched in
eight-byte words, and the device certificate reads every word inside a
window as an address; a lower counter would pair with the seed below it
into one
1679def cgRandomStreamOrigin : Nat =
1680 (succ
1681 (naturalDivideUnchecked
1682 (naturalAdd coppeliusSM86CompatVideoBaseNatural coppeliusSM86CompatVideoBytesNatural)
1683 cgWordRange))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.