Function table_init 

pub(super) unsafe fn table_init(
    store_modules: &AddrVec<ModuleAddr, ModuleInst<'_>>,
    store_tables: &mut AddrVec<TableAddr, TableInst>,
    store_elements: &AddrVec<ElemAddr, ElemInst>,
    current_module: ModuleAddr,
    elem_idx: ElemIdx,
    table_idx: TableIdx,
    n: u32,
    s: i32,
    d: i32,
) -> Result<(), RuntimeError>

Safety

1. The module address current_module must be valid in store_modules for a module instance module_inst.
2. The table index table_idx must be valid in module_inst for a table address table_addr.
3. table_addr must be valid in store_tables.
4. The element index elem_idx must be valid in module_inst for an element address elem_addr.
5. elem_addr must be valid in store_elements.