Yaodong Yang

Results 2 issues of Yaodong Yang

…r_index issue #7665 replace the match statement with a function already exist

wasmtime:api

### Reproducing the behavior In 7.2(Page 17), I think Node 0004 should be {Var 0003, ERA 0000}. ![image](https://github.com/HigherOrderCO/HVM/assets/33686919/2e6bc70a-a9c3-42dd-bfa2-18a63703b996)