Function memory_init 

pub(super) unsafe fn memory_init(
    store_modules: &AddrVec<ModuleAddr, ModuleInst<'_>>,
    store_memories: &mut AddrVec<MemAddr, MemInst>,
    store_data: &AddrVec<DataAddr, DataInst>,
    current_module: ModuleAddr,
    data_idx: DataIdx,
    mem_idx: MemIdx,
    n: u32,
    s: u32,
    d: u32,
) -> Result<(), RuntimeError>

Safety

1. The module address current_module must be valid in store_modules for some module instance module_inst.
2. The memory index mem_idx must be valid in module_inst for some memory address mem_addr.
3. mem_addr must be valid in store_memories for some memory instance `mem.
4. The data index data_idx must be valid in module_inst for some data address data_addr.
5. data_addr must be valid in store_data.