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]
) -> Result<()>