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
1678def cgRandomStreamOrigin : Nat =
1679 (succ
1680 (naturalDivideUnchecked
1681 (naturalAdd coppeliusSM86CompatVideoBaseNatural coppeliusSM86CompatVideoBytesNatural)
1682 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.