fn read_instructions(
    this_function_idx: usize,
    wasm: &mut WasmReader<'_>,
    stack: &mut ValidationStack,
    locals: &[ValType],
    globals: &[Global],
    fn_types: &[FuncType],
    type_idx_of_fn: &[usize],
    memories: &[MemType],
    data_count: &Option<u32>
) -> Result<()>