pub fn rust_dyn_malloc_initialize( memory: &mut HashMap<BFieldElement, BFieldElement>, initial_value: usize )