Function initialize_auxv 

pub fn initialize_auxv(
    prng: &mut Pcg64Mcg,
    memory: impl MemoryAccess,
    pointer: AddrMut<'_, u8>,
    dettid: DetTid,
) -> Result<(), Errno>

Draw and write the actual initial auxv bytes. A write failure preserves the consumed PRNG state, as in the normal post-exec callback.