Constant SCRATCH_TOP_LIBC_RNG_SEED_OFFSET 

pub const SCRATCH_TOP_LIBC_RNG_SEED_OFFSET: u64 = 0x28;