Add architecture diagram for wasm globals and classic-interp stack frame (#2058)

README.md

@@ -70,8 +70,8 @@ The following platforms are supported, click each link below for how to build iw
 
 
 ### Performance and memory
-- [Blog: Understand WAMR heap](https://bytecodealliance.github.io/wamr.dev/blog/understand-the-wamr-heap/)
-- [Blog: Understand WAMR stacks](https://bytecodealliance.github.io/wamr.dev/blog/understand-the-wamr-stacks/)
+- [Blog: The WAMR memory model](https://bytecodealliance.github.io/wamr.dev/blog/the-wamr-memory-model/)
+- [Blog: Understand WAMR heaps](https://bytecodealliance.github.io/wamr.dev/blog/understand-the-wamr-heaps/) and [stacks](https://bytecodealliance.github.io/wamr.dev/blog/understand-the-wamr-stacks/)
 - [Blog: Introduction to WAMR running modes](https://bytecodealliance.github.io/wamr.dev/blog/introduction-to-wamr-running-modes/)
 - [Memory usage tunning](./doc/memory_tune.md): the memory model and how to tune the memory usage
 - [Memory usage profiling](./doc/build_wamr.md#enable-memory-profiling-experiment): how to profile the memory usage

core/iwasm/README.md

@@ -6,3 +6,9 @@
 
 ## Exports
 - [Wasm export architecture](./doc/wasm_exports.MD)
+
+## globals
+- [Wasm globals architecture](./doc/wasm_globals.MD)
+
+## classic interpreter
+- [classic interpreter](./doc/classic_interpreter.MD)

core/iwasm/doc/classic_interpreter.MD

@@ -0,0 +1,5 @@
+# Classic interpreter
+
+## stack format
+
+![](./images/stack_format_ci.svg)

core/iwasm/doc/images/stack_format_ci.excalidraw

@@ -0,0 +1,2643 @@
+{
+  "type": "excalidraw",
+  "version": 2,
+  "source": "https://marketplace.visualstudio.com/items?itemName=pomdtr.excalidraw-editor",
+  "elements": [
+    {
+      "type": "rectangle",
+      "version": 155,
+      "versionNonce": 1248561528,
+      "isDeleted": false,
+      "id": "fxSjNN3geJtdm-2MR7INN",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 583.9999694824219,
+      "y": 276.33331298828114,
+      "strokeColor": "#000000",
+      "backgroundColor": "#ced4da",
+      "width": 427.66665649414057,
+      "height": 468.6667785644533,
+      "seed": 1226571556,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "zFlCnXyCuuvj85rH8yMcR",
+          "type": "arrow"
+        },
+        {
+          "id": "KiC12zdfqG7zXRbctXGmT",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679706874848,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 31,
+      "versionNonce": 726044059,
+      "isDeleted": false,
+      "id": "kKMhPpSUI7zZU0hhfGfSr",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 652,
+      "y": 310.5,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 91,
+      "height": 20,
+      "seed": 1323166748,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "v8qOyuaPyJmHPHCk-V90A",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679639568750,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "prev_frame",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "prev_frame"
+    },
+    {
+      "type": "text",
+      "version": 31,
+      "versionNonce": 213374372,
+      "isDeleted": false,
+      "id": "97vkuGwuf9dOgnbXL4nZW",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 652,
+      "y": 345.5,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 84,
+      "height": 20,
+      "seed": 123433892,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679617642914,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "func_inst ",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "func_inst "
+    },
+    {
+      "type": "text",
+      "version": 31,
+      "versionNonce": 34601372,
+      "isDeleted": false,
+      "id": "IaZULBLAtP-VbIpB210WT",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 652,
+      "y": 380.5,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 13,
+      "height": 20,
+      "seed": 1157761180,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679617674900,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "ip",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "ip"
+    },
+    {
+      "type": "text",
+      "version": 37,
+      "versionNonce": 556583925,
+      "isDeleted": false,
+      "id": "H6AElOIjCOfKVDEzsEb8_",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 648.3333435058594,
+      "y": 415.16668701171875,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 160,
+      "height": 20,
+      "seed": 175464228,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "bzZuzwhAslOM0VOMpIFi4",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679638914768,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "opnd_stack_bottom",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "opnd_stack_bottom"
+    },
+    {
+      "type": "text",
+      "version": 31,
+      "versionNonce": 2114117339,
+      "isDeleted": false,
+      "id": "InrDJwTwyP1E7lpeGu0Tb",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 652,
+      "y": 450.5,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 275,
+      "height": 20,
+      "seed": 158242076,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "bzZuzwhAslOM0VOMpIFi4",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679638694120,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "opnd_sp (point to opnd stack top)",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "opnd_sp (point to opnd stack top)"
+    },
+    {
+      "type": "text",
+      "version": 31,
+      "versionNonce": 1005029461,
+      "isDeleted": false,
+      "id": "04QcPfm0Sc1zQpYDxmPVl",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 652,
+      "y": 485.5,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 163,
+      "height": 20,
+      "seed": 2051398308,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679638792159,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "label_stack_bottom",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "label_stack_bottom"
+    },
+    {
+      "type": "text",
+      "version": 31,
+      "versionNonce": 1565468827,
+      "isDeleted": false,
+      "id": "GD4urgWTuYKcn7FcwA5uj",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 652,
+      "y": 520.5,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 280,
+      "height": 20,
+      "seed": 429232540,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "AhNgHym2Ox-2Je47FlwkG",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679638982669,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "label_sp (point to label stack top)",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "label_sp (point to label stack top)"
+    },
+    {
+      "type": "text",
+      "version": 123,
+      "versionNonce": 458495496,
+      "isDeleted": false,
+      "id": "9TW8AADnHJOkmP9yPw86T",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 626,
+      "y": 586.1666564941406,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 125,
+      "height": 20,
+      "seed": 561702436,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706667761,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "func arguments:",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "func arguments:"
+    },
+    {
+      "type": "text",
+      "version": 373,
+      "versionNonce": 180653176,
+      "isDeleted": false,
+      "id": "ZDnffzv8Hf65ecpMemz82",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 700.6666870117188,
+      "y": 669.1667785644531,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 131,
+      "height": 20,
+      "seed": 1157792164,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706543900,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "<operand stack>",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "<operand stack>"
+    },
+    {
+      "type": "rectangle",
+      "version": 108,
+      "versionNonce": 628186232,
+      "isDeleted": false,
+      "id": "10UtZNhGhQIza4PqPLKs5",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 622.6665954589844,
+      "y": 299.9999694824219,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 378.3334655761719,
+      "height": 33.66670227050781,
+      "seed": 1281579428,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706899765,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 108,
+      "versionNonce": 1807107317,
+      "isDeleted": false,
+      "id": "lxiJENi5HY8EPwIeH7LA0",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 621.9999389648438,
+      "y": 343.3332977294922,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 377.6668090820312,
+      "height": 28.33332824707031,
+      "seed": 523845788,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679639010923,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 104,
+      "versionNonce": 114288661,
+      "isDeleted": false,
+      "id": "iBGNXVvcsdhIuK4rSyr24",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 621.333251953125,
+      "y": 377.9999694824219,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 380.3333129882813,
+      "height": 24.666656494140625,
+      "seed": 1117299228,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679639014926,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 141,
+      "versionNonce": 1756531061,
+      "isDeleted": false,
+      "id": "hwgrctAuxGaA-SGuwFgEd",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 623.6665649414062,
+      "y": 413.66664123535156,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 190.33331298828125,
+      "height": 25.333358764648438,
+      "seed": 1885325596,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "2yVfQUtaAnW5BuEtoXRcA",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679638734395,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 135,
+      "versionNonce": 138906299,
+      "isDeleted": false,
+      "id": "V6DAmN9L5JPz2B1MGfa9C",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 624.6665954589844,
+      "y": 445.9999694824219,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 377.6666564941406,
+      "height": 28.00003051757812,
+      "seed": 1058988452,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "bzZuzwhAslOM0VOMpIFi4",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679638756269,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 171,
+      "versionNonce": 755362101,
+      "isDeleted": false,
+      "id": "0m59R0bqJv_x7GbZ6hfyg",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 624.6665954589844,
+      "y": 485.33331298828125,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 197.33340454101562,
+      "height": 23.33328247070314,
+      "seed": 1040920092,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "bzZuzwhAslOM0VOMpIFi4",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679638908118,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 191,
+      "versionNonce": 944635675,
+      "isDeleted": false,
+      "id": "Itqs7rL1-S3eIrmvfrr6i",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 625.333251953125,
+      "y": 516.3333129882812,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 349.66674804687506,
+      "height": 34.66665649414062,
+      "seed": 498379804,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679639029205,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 169,
+      "versionNonce": 1525847816,
+      "isDeleted": false,
+      "id": "Yx4QpHhmHHvf267ot4QcW",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 623.333251953125,
+      "y": 582.6666259765625,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 352.3333740234375,
+      "height": 31.666748046875,
+      "seed": 612410396,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706543900,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 195,
+      "versionNonce": 335028795,
+      "isDeleted": false,
+      "id": "sWiDv3IP9Y4zn-pQPKT59",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 585.6668090820312,
+      "y": 203.99998474121094,
+      "strokeColor": "#000000",
+      "backgroundColor": "#15aabf",
+      "width": 424.3334045410156,
+      "height": 70.66668701171874,
+      "seed": 813710748,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "v8qOyuaPyJmHPHCk-V90A",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679639568750,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 255,
+      "versionNonce": 1953250680,
+      "isDeleted": false,
+      "id": "gS_VbgMS5NUoHmfxH0eEO",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 752.0001525878906,
+      "y": 624.3333129882812,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 30.6666259765625,
+      "height": 19.000091552734375,
+      "seed": 2044515484,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706543900,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 171,
+      "versionNonce": 227339384,
+      "isDeleted": false,
+      "id": "m89OexiP1cw5cN304gmQ-",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 771.3336334228516,
+      "y": 587.8333282470703,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 37.999969482421875,
+      "height": 19.666748046875,
+      "seed": 2074557348,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706664521,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 174,
+      "versionNonce": 1205391112,
+      "isDeleted": false,
+      "id": "aAWksorEQDseQSDntTUKe",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 824.6669464111328,
+      "y": 589.1665802001953,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 35.999969482421875,
+      "height": 15.666778564453123,
+      "seed": 1851711260,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706659367,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 213,
+      "versionNonce": 1798283016,
+      "isDeleted": false,
+      "id": "IH4D4tHy91CnkLlP3kKJT",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 878.6669464111328,
+      "y": 588.8333892822266,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 35.999969482421875,
+      "height": 16.333435058593754,
+      "seed": 1835107492,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706677882,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "diamond",
+      "version": 28,
+      "versionNonce": 1189712156,
+      "isDeleted": false,
+      "id": "OGXe0pARYj6FFaTw_LGLs",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 916.6667785644531,
+      "y": 348.3333435058594,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 13.33331298828125,
+      "height": 15.66668701171875,
+      "seed": 703955236,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "zFlCnXyCuuvj85rH8yMcR",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679617654572,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 90,
+      "versionNonce": 1752012152,
+      "isDeleted": false,
+      "id": "zFlCnXyCuuvj85rH8yMcR",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 930.9664201728779,
+      "y": 355.9093759200581,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 97.70041942673151,
+      "height": 3.156306335738577,
+      "seed": 1652552228,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706533823,
+      "link": null,
+      "locked": false,
+      "startBinding": {
+        "elementId": "OGXe0pARYj6FFaTw_LGLs",
+        "gap": 1,
+        "focus": -0.05520408889747474
+      },
+      "endBinding": {
+        "elementId": "fxSjNN3geJtdm-2MR7INN",
+        "gap": 17.000213623046875,
+        "focus": 0.6588609578759657
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          97.70041942673151,
+          3.156306335738577
+        ]
+      ]
+    },
+    {
+      "type": "rectangle",
+      "version": 39,
+      "versionNonce": 2081828900,
+      "isDeleted": false,
+      "id": "cN9omEMJtZq2pKK3nPqeK",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 1033.3334655761719,
+      "y": 339.0000305175781,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 218,
+      "height": 37,
+      "seed": 1716587932,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "w-Fx4nTROv9qvnPqLigxc"
+        }
+      ],
+      "updated": 1679617661526,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 4,
+      "versionNonce": 727129976,
+      "isDeleted": false,
+      "id": "w-Fx4nTROv9qvnPqLigxc",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 1051.3334655761719,
+      "y": 347.5000305175781,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 182,
+      "height": 20,
+      "seed": 1245620124,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706461629,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "(current func instance)",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "cN9omEMJtZq2pKK3nPqeK",
+      "originalText": "(current func instance)"
+    },
+    {
+      "type": "diamond",
+      "version": 19,
+      "versionNonce": 1517445412,
+      "isDeleted": false,
+      "id": "YAWb1D32tq9r2NA9BjPC0",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 917.3334655761719,
+      "y": 381.3333740234375,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 12.6666259765625,
+      "height": 17.666656494140625,
+      "seed": 831940124,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679617681098,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 103,
+      "versionNonce": 437077525,
+      "isDeleted": false,
+      "id": "EUw5VCdUqXWdPh2cmFgTu",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 1048.0000915527344,
+      "y": 390.0000305175781,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 224,
+      "height": 52,
+      "seed": 122854564,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "sQUYAdB_aJemE8MbtfUXU"
+        },
+        {
+          "id": "7cT6qctQMJuzVHVpt9gAe",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679643416466,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 89,
+      "versionNonce": 818328584,
+      "isDeleted": false,
+      "id": "sQUYAdB_aJemE8MbtfUXU",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 1066.0000915527344,
+      "y": 395.0000305175781,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 188,
+      "height": 40,
+      "seed": 1881253020,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706461630,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": " (next bytecode in code\nfor return)",
+      "baseline": 34,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "EUw5VCdUqXWdPh2cmFgTu",
+      "originalText": " (next bytecode in code\nfor return)"
+    },
+    {
+      "type": "arrow",
+      "version": 86,
+      "versionNonce": 44769845,
+      "isDeleted": false,
+      "id": "7cT6qctQMJuzVHVpt9gAe",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 928.0000915527344,
+      "y": 389.66668701171875,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 118.6890752940651,
+      "height": 18.605575795885613,
+      "seed": 2073584156,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679643418552,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": {
+        "elementId": "EUw5VCdUqXWdPh2cmFgTu",
+        "gap": 1.3109247059348494,
+        "focus": -0.23038166167021662
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          118.6890752940651,
+          18.605575795885613
+        ]
+      ]
+    },
+    {
+      "type": "rectangle",
+      "version": 2,
+      "versionNonce": 504035291,
+      "isDeleted": false,
+      "id": "6fkbi-hv-WF274Ggup6O2",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 1200.0001525878906,
+      "y": 619.8332824707031,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 0.333251953125,
+      "height": 0.333343505859375,
+      "seed": 1881722357,
+      "groupIds": [],
+      "roundness": {
+        "type": 3
+      },
+      "boundElements": [],
+      "updated": 1679638527376,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 237,
+      "versionNonce": 103104376,
+      "isDeleted": false,
+      "id": "TBY_IOcQ1nL2SbnoH6sFO",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 627.0001373291016,
+      "y": 660.5000610351562,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 357.33331298828125,
+      "height": 30.33352661132812,
+      "seed": 1619080725,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "bzZuzwhAslOM0VOMpIFi4",
+          "type": "arrow"
+        },
+        {
+          "id": "2yVfQUtaAnW5BuEtoXRcA",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679706543900,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 304,
+      "versionNonce": 1231721480,
+      "isDeleted": false,
+      "id": "2yVfQUtaAnW5BuEtoXRcA",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 1001.4951265607561,
+      "y": 435.4648501924554,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 69.86595546390652,
+      "height": 230.92727975758817,
+      "seed": 554350997,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false,
+      "startBinding": {
+        "elementId": "Q10gr2u0Ozc3e0iafNjrU",
+        "focus": -0.9749635321679403,
+        "gap": 1
+      },
+      "endBinding": {
+        "elementId": "TBY_IOcQ1nL2SbnoH6sFO",
+        "gap": 11.467449077109102,
+        "focus": 0.9687666106437038
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          64.17172829764229,
+          132.70180630168522
+        ],
+        [
+          -5.694227166264227,
+          230.92727975758817
+        ]
+      ]
+    },
+    {
+      "type": "arrow",
+      "version": 579,
+      "versionNonce": 1040896776,
+      "isDeleted": false,
+      "id": "bzZuzwhAslOM0VOMpIFi4",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 637.088614263612,
+      "y": 428.66374830753944,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 87.42185095794798,
+      "height": 243.67105886528202,
+      "seed": 1778263445,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false,
+      "startBinding": {
+        "elementId": "H6AElOIjCOfKVDEzsEb8_",
+        "focus": 1.022917371543073,
+        "gap": 11.244729242247331
+      },
+      "endBinding": {
+        "elementId": "zmGNXD3FjbK3cLzJQcTS7",
+        "focus": -0.9191849396644245,
+        "gap": 1.3880431063754486
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          -87.42185095794798,
+          127.50287766902306
+        ],
+        [
+          -10.80983302916718,
+          243.67105886528202
+        ]
+      ]
+    },
+    {
+      "type": "rectangle",
+      "version": 146,
+      "versionNonce": 1195282552,
+      "isDeleted": false,
+      "id": "zmGNXD3FjbK3cLzJQcTS7",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 627.6668243408203,
+      "y": 662.8332824707031,
+      "strokeColor": "#000000",
+      "backgroundColor": "#868e96",
+      "width": 207.333251953125,
+      "height": 25.333343505859375,
+      "seed": 2075064181,
+      "groupIds": [],
+      "roundness": {
+        "type": 3
+      },
+      "boundElements": [
+        {
+          "id": "bzZuzwhAslOM0VOMpIFi4",
+          "type": "arrow"
+        },
+        {
+          "id": "PtPViQVeIOLGj_fGdcXae",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 252,
+      "versionNonce": 1380659720,
+      "isDeleted": false,
+      "id": "fdKDasbQmnSQhVWnuc6o0",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 892.2284992953181,
+      "y": 676.9139215503409,
+      "strokeColor": "#000000",
+      "backgroundColor": "#868e96",
+      "width": 46.77163803378346,
+      "height": 0.7472955737783877,
+      "seed": 2138378229,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": null,
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "triangle",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          46.77163803378346,
+          -0.7472955737783877
+        ]
+      ]
+    },
+    {
+      "type": "text",
+      "version": 63,
+      "versionNonce": 2032367925,
+      "isDeleted": false,
+      "id": "ZwrESUGUwekFgJ8cot-D1",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 821.6667327880859,
+      "y": 414.6666259765625,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 174,
+      "height": 20,
+      "seed": 795089589,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "2yVfQUtaAnW5BuEtoXRcA",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679638757542,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "opnd_stack_boundary",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "opnd_stack_boundary"
+    },
+    {
+      "type": "rectangle",
+      "version": 32,
+      "versionNonce": 132303029,
+      "isDeleted": false,
+      "id": "VOinNwnsGZVJt9RUbM5gI",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 821.3334197998047,
+      "y": 409.8332977294922,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 184.3333740234375,
+      "height": 30.333328247070312,
+      "seed": 1069875285,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679638823023,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 255,
+      "versionNonce": 453362040,
+      "isDeleted": false,
+      "id": "PtPViQVeIOLGj_fGdcXae",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 979.6667327880859,
+      "y": 460.4999694824219,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 140.89037965104183,
+      "height": 211.49970410546382,
+      "seed": 472939093,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": {
+        "elementId": "zmGNXD3FjbK3cLzJQcTS7",
+        "focus": 0.7843520090394333,
+        "gap": 6.109589831379935
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          2.33331298828125,
+          145
+        ],
+        [
+          -138.55706666276058,
+          211.49970410546382
+        ]
+      ]
+    },
+    {
+      "type": "diamond",
+      "version": 19,
+      "versionNonce": 987485307,
+      "isDeleted": false,
+      "id": "u7bglMSX07f5CN_SyFAmd",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 967.0000457763672,
+      "y": 452.1666259765625,
+      "strokeColor": "#000000",
+      "backgroundColor": "#be4bdb",
+      "width": 15,
+      "height": 15,
+      "seed": 764957403,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679638777911,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 43,
+      "versionNonce": 115610933,
+      "isDeleted": false,
+      "id": "shh1k5OswcF57jhAKAI6G",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 830.0000457763672,
+      "y": 486.8332824707031,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 176,
+      "height": 20,
+      "seed": 1994374395,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679638809874,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "label_stack_boundary",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "label_stack_boundary"
+    },
+    {
+      "type": "rectangle",
+      "version": 33,
+      "versionNonce": 1511042715,
+      "isDeleted": false,
+      "id": "H4lcjS3aIarViIGAHsLBU",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 827.6667327880859,
+      "y": 480.83331298828125,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 181,
+      "height": 29.666656494140625,
+      "seed": 1492829339,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679638816247,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 372,
+      "versionNonce": 1764776968,
+      "isDeleted": false,
+      "id": "B1eH_aNspf4OoiXnvWu1V",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 630.0000915527344,
+      "y": 705.1667175292969,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 356.66662597656256,
+      "height": 31.333404541015625,
+      "seed": 710054491,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "X76to9wjER3VzqXb7tCwb",
+          "type": "arrow"
+        },
+        {
+          "id": "1Urs2i0MGQSQ9XbOVdbCH",
+          "type": "arrow"
+        },
+        {
+          "id": "KiC12zdfqG7zXRbctXGmT",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679706706153,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 332,
+      "versionNonce": 1981566984,
+      "isDeleted": false,
+      "id": "Tu7mkiWTjNwFrOsUa35N1",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 633.3333740234375,
+      "y": 704.8334045410156,
+      "strokeColor": "#000000",
+      "backgroundColor": "#868e96",
+      "width": 250.33328247070318,
+      "height": 26.66656494140625,
+      "seed": 1201312981,
+      "groupIds": [],
+      "roundness": {
+        "type": 3
+      },
+      "boundElements": [
+        {
+          "id": "AhNgHym2Ox-2Je47FlwkG",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 250,
+      "versionNonce": 1696927496,
+      "isDeleted": false,
+      "id": "xQf_fS4j5XD1gPYVmnyQi",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 687,
+      "y": 709.8335876464844,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 108,
+      "height": 20,
+      "seed": 1671092892,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "<lable stack>",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "<lable stack>"
+    },
+    {
+      "type": "diamond",
+      "version": 19,
+      "versionNonce": 167262267,
+      "isDeleted": false,
+      "id": "T43dNIeAePPWy65vsVjRw",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 629.0000457763672,
+      "y": 420.8332977294922,
+      "strokeColor": "#000000",
+      "backgroundColor": "#12b886",
+      "width": 13.66668701171875,
+      "height": 9,
+      "seed": 1938681499,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679638923749,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "diamond",
+      "version": 26,
+      "versionNonce": 1796989173,
+      "isDeleted": false,
+      "id": "Q10gr2u0Ozc3e0iafNjrU",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 988.5000762939453,
+      "y": 431.9999542236328,
+      "strokeColor": "#000000",
+      "backgroundColor": "#12b886",
+      "width": 13.66668701171875,
+      "height": 9,
+      "seed": 1339643477,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "2yVfQUtaAnW5BuEtoXRcA",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679639079224,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 160,
+      "versionNonce": 1562882312,
+      "isDeleted": false,
+      "id": "X76to9wjER3VzqXb7tCwb",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 633.6667327880859,
+      "y": 498.1665954589844,
+      "strokeColor": "#000000",
+      "backgroundColor": "#12b886",
+      "width": 95,
+      "height": 226.4773119076067,
+      "seed": 332801877,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": {
+        "elementId": "B1eH_aNspf4OoiXnvWu1V",
+        "gap": 3.7751266782821933,
+        "focus": -0.9692106196282059
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          -95,
+          119
+        ],
+        [
+          -7.441767913633839,
+          226.4773119076067
+        ]
+      ]
+    },
+    {
+      "type": "arrow",
+      "version": 202,
+      "versionNonce": 791528312,
+      "isDeleted": false,
+      "id": "1Urs2i0MGQSQ9XbOVdbCH",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 993.6667327880859,
+      "y": 500.833251953125,
+      "strokeColor": "#000000",
+      "backgroundColor": "#12b886",
+      "width": 55.58884147480535,
+      "height": 215.3311147859538,
+      "seed": 385950459,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false,
+      "startBinding": {
+        "elementId": "_1a_M2hRRjsccFJTYD-i0",
+        "focus": -0.27052637703325505,
+        "gap": 2.7105616084241397
+      },
+      "endBinding": {
+        "elementId": "B1eH_aNspf4OoiXnvWu1V",
+        "focus": 0.9207393546998478,
+        "gap": 3.0779218308585996
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          51.666748046875,
+          153.66668701171875
+        ],
+        [
+          -3.922093427930349,
+          215.3311147859538
+        ]
+      ]
+    },
+    {
+      "type": "arrow",
+      "version": 252,
+      "versionNonce": 1150719096,
+      "isDeleted": false,
+      "id": "AhNgHym2Ox-2Je47FlwkG",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 941.0000457763672,
+      "y": 533.833251953125,
+      "strokeColor": "#000000",
+      "backgroundColor": "#12b886",
+      "width": 73.73891815660659,
+      "height": 177.63880524698254,
+      "seed": 17032283,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false,
+      "startBinding": {
+        "elementId": "GD4urgWTuYKcn7FcwA5uj",
+        "focus": -1.0502037458670375,
+        "gap": 9.000045776367188
+      },
+      "endBinding": {
+        "elementId": "Tu7mkiWTjNwFrOsUa35N1",
+        "focus": 0.7914007600477917,
+        "gap": 2.5944100904637253
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          18.99993896484375,
+          133.33340454101562
+        ],
+        [
+          -54.73897919176284,
+          177.63880524698254
+        ]
+      ]
+    },
+    {
+      "type": "diamond",
+      "version": 19,
+      "versionNonce": 987485307,
+      "isDeleted": false,
+      "id": "C2JNNEQlhQ4cFy2h16E4l",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 630.5000457763672,
+      "y": 491.333251953125,
+      "strokeColor": "#000000",
+      "backgroundColor": "#be4bdb",
+      "width": 15,
+      "height": 15,
+      "seed": 2047712475,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679638991963,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "diamond",
+      "version": 19,
+      "versionNonce": 987485307,
+      "isDeleted": false,
+      "id": "xsWhegnNTDUvjVk1Hl20d",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 931.5000457763672,
+      "y": 523.333251953125,
+      "strokeColor": "#000000",
+      "backgroundColor": "#be4bdb",
+      "width": 15,
+      "height": 15,
+      "seed": 751530581,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679638994246,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "diamond",
+      "version": 20,
+      "versionNonce": 2123101557,
+      "isDeleted": false,
+      "id": "_1a_M2hRRjsccFJTYD-i0",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 987.5000457763672,
+      "y": 503.333251953125,
+      "strokeColor": "#000000",
+      "backgroundColor": "#be4bdb",
+      "width": 15,
+      "height": 15,
+      "seed": 1838893435,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [
+        {
+          "id": "1Urs2i0MGQSQ9XbOVdbCH",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679639046142,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 122,
+      "versionNonce": 918373752,
+      "isDeleted": false,
+      "id": "_FzrYgawOp32aihqUkx8N",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 937.3333587646484,
+      "y": 722.4999084472656,
+      "strokeColor": "#000000",
+      "backgroundColor": "#12b886",
+      "width": 31,
+      "height": 0.333343505859375,
+      "seed": 125027067,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": null,
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "triangle",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          31,
+          0.333343505859375
+        ]
+      ]
+    },
+    {
+      "type": "arrow",
+      "version": 58,
+      "versionNonce": 1791510299,
+      "isDeleted": false,
+      "id": "v8qOyuaPyJmHPHCk-V90A",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 640.33349609375,
+      "y": 318.1665954589844,
+      "strokeColor": "#000000",
+      "backgroundColor": "#12b886",
+      "width": 112.66668701171875,
+      "height": 114.41643468378521,
+      "seed": 1521072891,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679639586455,
+      "link": null,
+      "locked": false,
+      "startBinding": {
+        "elementId": "kKMhPpSUI7zZU0hhfGfSr",
+        "focus": -0.8312315870337287,
+        "gap": 11.66650390625
+      },
+      "endBinding": {
+        "elementId": "sWiDv3IP9Y4zn-pQPKT59",
+        "focus": 1.0049483520293248,
+        "gap": 1
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          -112.66668701171875,
+          -61.99995422363281
+        ],
+        [
+          -55.63497828298284,
+          -114.41643468378521
+        ]
+      ]
+    },
+    {
+      "type": "diamond",
+      "version": 23,
+      "versionNonce": 1760592469,
+      "isDeleted": false,
+      "id": "rizowRaNCY3sscSKdUoZ_",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 637.6668090820312,
+      "y": 307.49993896484375,
+      "strokeColor": "#000000",
+      "backgroundColor": "#12b886",
+      "width": 11.66668701171875,
+      "height": 17,
+      "seed": 599455541,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679639578366,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 241,
+      "versionNonce": 1517501429,
+      "isDeleted": false,
+      "id": "Mv8lernCpH2jNrVrNfqm5",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 585.8334503173828,
+      "y": 130.833251953125,
+      "strokeColor": "#000000",
+      "backgroundColor": "#15aabf",
+      "width": 424.3334045410156,
+      "height": 70.66668701171874,
+      "seed": 1040624571,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "cl6Duxg7hC4_1chb5YNau",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679639602774,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 41,
+      "versionNonce": 926996117,
+      "isDeleted": false,
+      "id": "eQrRfUHvRypTcFfQ80nK5",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 647.0000610351562,
+      "y": 219.33328247070312,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 91,
+      "height": 20,
+      "seed": 1884598901,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "cl6Duxg7hC4_1chb5YNau",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679639602774,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "prev_frame",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "prev_frame"
+    },
+    {
+      "type": "diamond",
+      "version": 32,
+      "versionNonce": 784602165,
+      "isDeleted": false,
+      "id": "w_RQs6dyVbTAM3iaX46G2",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 632.6668701171875,
+      "y": 216.33322143554688,
+      "strokeColor": "#000000",
+      "backgroundColor": "#12b886",
+      "width": 11.66668701171875,
+      "height": 17,
+      "seed": 1918737243,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679639598842,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 135,
+      "versionNonce": 1953671957,
+      "isDeleted": false,
+      "id": "cl6Duxg7hC4_1chb5YNau",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 639.0001525878906,
+      "y": 224.16659545898438,
+      "strokeColor": "#000000",
+      "backgroundColor": "#12b886",
+      "width": 80.33334350585938,
+      "height": 95,
+      "seed": 509490587,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679639608498,
+      "link": null,
+      "locked": false,
+      "startBinding": {
+        "elementId": "eQrRfUHvRypTcFfQ80nK5",
+        "focus": -0.7568501325114791,
+        "gap": 7.999908447265625
+      },
+      "endBinding": {
+        "elementId": "Mv8lernCpH2jNrVrNfqm5",
+        "focus": 1.0067042515978792,
+        "gap": 1.666656494140625
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          -80.33334350585938,
+          -53.66668701171875
+        ],
+        [
+          -53.66668701171875,
+          -95
+        ]
+      ]
+    },
+    {
+      "type": "text",
+      "version": 196,
+      "versionNonce": 1763609493,
+      "isDeleted": false,
+      "id": "7pum3cjupgQ0Fz7eY_3xD",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 1026.33349609375,
+      "y": 123.83326721191406,
+      "strokeColor": "#000000",
+      "backgroundColor": "#12b886",
+      "width": 109,
+      "height": 20,
+      "seed": 1300737371,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679640276534,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "Stack bottom",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "Stack bottom"
+    },
+    {
+      "type": "text",
+      "version": 310,
+      "versionNonce": 1972102043,
+      "isDeleted": false,
+      "id": "Su_2hWwLvhW5W8cNMx6hT",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 1030.666748046875,
+      "y": 266.8333206176758,
+      "strokeColor": "#000000",
+      "backgroundColor": "#12b886",
+      "width": 110,
+      "height": 20,
+      "seed": 2131950293,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679640279741,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "current frame",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "current frame"
+    },
+    {
+      "type": "rectangle",
+      "version": 181,
+      "versionNonce": 1099516792,
+      "isDeleted": false,
+      "id": "jCBotdnPaPF-NkuwgrLyd",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 582.3333129882812,
+      "y": 744.8332977294922,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 429.666748046875,
+      "height": 48.333343505859396,
+      "seed": 1136750491,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706699607,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 167,
+      "versionNonce": 647398264,
+      "isDeleted": false,
+      "id": "BRMXHqjjvaWADtilYg0NV",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 784.3333740234375,
+      "y": 775.8333892822266,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 57,
+      "height": 20,
+      "seed": 415943189,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "KiC12zdfqG7zXRbctXGmT",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679706708714,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "Unused",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "Unused"
+    },
+    {
+      "type": "text",
+      "version": 179,
+      "versionNonce": 1210985736,
+      "isDeleted": false,
+      "id": "6YoFb1tMeQkuEDMy5H4FV",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 1018.6668090820312,
+      "y": 778.8333892822266,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 122,
+      "height": 20,
+      "seed": 1257872437,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706711595,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "stack boundary",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "stack boundary"
+    },
+    {
+      "type": "text",
+      "version": 174,
+      "versionNonce": 314437128,
+      "isDeleted": false,
+      "id": "_e0Yy4p4UD9MNJUym2U_N",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 1025.6666259765625,
+      "y": 732.8335113525391,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 80,
+      "height": 20,
+      "seed": 521361589,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "stack top",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "stack top"
+    },
+    {
+      "type": "rectangle",
+      "version": 126,
+      "versionNonce": 1927665272,
+      "isDeleted": false,
+      "id": "ATaMGJS9emfaD_vgxw4Wi",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 625.5619915078412,
+      "y": 621.4944998254441,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 358.66670227050787,
+      "height": 25.999969482421875,
+      "seed": 1247140509,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 268,
+      "versionNonce": 1190911752,
+      "isDeleted": false,
+      "id": "qlKC-UwDGQErtLa5oG6C3",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 625.3333740234375,
+      "y": 554.1666870117188,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 236,
+      "height": 20,
+      "seed": 1957232156,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706639231,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "Wasm LOCALs (local.set/get):",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "Wasm LOCALs (local.set/get):"
+    },
+    {
+      "type": "rectangle",
+      "version": 264,
+      "versionNonce": 500451192,
+      "isDeleted": false,
+      "id": "CnBSoD9DNI5Himd9gJXwV",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 787.8953006814252,
+      "y": 625.661102913823,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 30.6666259765625,
+      "height": 19.000091552734375,
+      "seed": 1737116886,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 259,
+      "versionNonce": 235932680,
+      "isDeleted": false,
+      "id": "z4Ye9_zQDUab5ewn2mujX",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 827.5619876931439,
+      "y": 623.9944159021043,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 30.6666259765625,
+      "height": 19.000091552734375,
+      "seed": 1207868746,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 292,
+      "versionNonce": 600610936,
+      "isDeleted": false,
+      "id": "V3_r6rtZsp-pFDhmttdsh",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 865.5620487283002,
+      "y": 625.3277594079636,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 30.6666259765625,
+      "height": 19.000091552734375,
+      "seed": 974809482,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 266,
+      "versionNonce": 1061243656,
+      "isDeleted": false,
+      "id": "Tov8P7W3W8Zmma9a3S8gP",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 904.5620487283002,
+      "y": 626.661102913823,
+      "strokeColor": "#000000",
+      "backgroundColor": "#40c057",
+      "width": 30.6666259765625,
+      "height": 19.000091552734375,
+      "seed": 1423773654,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679706543901,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 148,
+      "versionNonce": 1167673464,
+      "isDeleted": false,
+      "id": "KiC12zdfqG7zXRbctXGmT",
+      "fillStyle": "hachure",
+      "strokeWidth": 4,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 806.4613995527118,
+      "y": 748.8279119958543,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 2.161352857758061,
+      "height": 20.33328247070324,
+      "seed": 167487754,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679706706153,
+      "link": null,
+      "locked": false,
+      "startBinding": {
+        "elementId": "B1eH_aNspf4OoiXnvWu1V",
+        "focus": 0.026931962058821583,
+        "gap": 12.327789925541765
+      },
+      "endBinding": {
+        "elementId": "fxSjNN3geJtdm-2MR7INN",
+        "focus": -0.06989783256192499,
+        "gap": 24.16110291382313
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          2.161352857758061,
+          20.33328247070324
+        ]
+      ]
+    },
+    {
+      "type": "text",
+      "version": 151,
+      "versionNonce": 1430888312,
+      "isDeleted": false,
+      "id": "wBnV18_fVimstqpfPY0KR",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 631.4456683895414,
+      "y": 624.6666107177734,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 91,
+      "height": 20,
+      "seed": 1961347080,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": null,
+      "updated": 1679706671751,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "func locals:",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "func locals:"
+    },
+    {
+      "id": "8Y0Qz7jDPtVE84-d_UHu2",
+      "type": "rectangle",
+      "x": 613.2790118954008,
+      "y": 575.9999542236328,
+      "width": 384.0000305175781,
+      "height": 76.66668701171875,
+      "angle": 0,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "groupIds": [],
+      "roundness": {
+        "type": 3
+      },
+      "seed": 743618568,
+      "version": 80,
+      "versionNonce": 129563000,
+      "isDeleted": false,
+      "boundElements": null,
+      "updated": 1679706644458,
+      "link": null,
+      "locked": false
+    }
+  ],
+  "appState": {
+    "gridSize": null,
+    "viewBackgroundColor": "#ffffff"
+  },
+  "files": {}
+}

core/iwasm/doc/images/wasm_globals.excalidraw

@@ -0,0 +1,2313 @@
+{
+  "type": "excalidraw",
+  "version": 2,
+  "source": "https://marketplace.visualstudio.com/items?itemName=pomdtr.excalidraw-editor",
+  "elements": [
+    {
+      "type": "rectangle",
+      "version": 381,
+      "versionNonce": 2068900405,
+      "isDeleted": false,
+      "id": "D5Ay5TxydaAe4f80l_79L",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 982.833251953125,
+      "y": 298.00006103515625,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 99.666748046875,
+      "height": 211.00007629394523,
+      "seed": 1123866381,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "5S0qe2-BjQRPwuEEQ_UsU",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679660991439,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 317,
+      "versionNonce": 1880855285,
+      "isDeleted": false,
+      "id": "4JTzPDASWmnx1PVSabO3A",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 914.833251953125,
+      "y": 236.3333282470703,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 103,
+      "height": 20,
+      "seed": 422161475,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661135316,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "global_data:",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "global_data:"
+    },
+    {
+      "type": "text",
+      "version": 183,
+      "versionNonce": 1437992789,
+      "isDeleted": false,
+      "id": "HQjUeFzLlihuH1Lf8XZQq",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 528.1666870117188,
+      "y": 324.00001525878906,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 274,
+      "height": 20,
+      "seed": 2018585571,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661163124,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "WASMModuleInstanceExtra::globals",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "WASMModuleInstanceExtra::globals"
+    },
+    {
+      "type": "arrow",
+      "version": 453,
+      "versionNonce": 92905717,
+      "isDeleted": false,
+      "id": "I86Qg5wzdmE77J5SbA7HP",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 759.0470523835444,
+      "y": 472.4753157819668,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 223.44867715016005,
+      "height": 152.25013181880155,
+      "seed": 661894701,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "Qm7oDN7yJzVFQrCa0EE1G"
+        }
+      ],
+      "updated": 1679660991440,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": {
+        "elementId": "Sd34CflTFN9Elv1dedCI1",
+        "focus": 0.9595350520837825,
+        "gap": 4.004209431139316
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          223.44867715016005,
+          -152.25013181880155
+        ]
+      ]
+    },
+    {
+      "type": "text",
+      "version": 4,
+      "versionNonce": 2089047221,
+      "isDeleted": false,
+      "id": "Qm7oDN7yJzVFQrCa0EE1G",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 844.2713909586244,
+      "y": 386.350249872566,
+      "strokeColor": "#000000",
+      "backgroundColor": "#15aabf",
+      "width": 53,
+      "height": 20,
+      "seed": 1720249052,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661201718,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "offset",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "I86Qg5wzdmE77J5SbA7HP",
+      "originalText": "offset"
+    },
+    {
+      "type": "rectangle",
+      "version": 213,
+      "versionNonce": 1454183483,
+      "isDeleted": false,
+      "id": "Sd34CflTFN9Elv1dedCI1",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 986.4999389648438,
+      "y": 315.6666564941406,
+      "strokeColor": "#000000",
+      "backgroundColor": "#868e96",
+      "width": 91.66668701171875,
+      "height": 27.999999999999996,
+      "seed": 357984397,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "I86Qg5wzdmE77J5SbA7HP",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679660991440,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 192,
+      "versionNonce": 706008283,
+      "isDeleted": false,
+      "id": "X5nXXDxRcZputNDZp2WfW",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 984.4998779296875,
+      "y": 350.83333587646484,
+      "strokeColor": "#000000",
+      "backgroundColor": "#868e96",
+      "width": 94.3333740234375,
+      "height": 19.333358764648438,
+      "seed": 1611395779,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "PFkOKGbMOcdhcpcv4DutQ",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679660991442,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 369,
+      "versionNonce": 1307818581,
+      "isDeleted": false,
+      "id": "PFkOKGbMOcdhcpcv4DutQ",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 753.8716651262948,
+      "y": 690.3334503173828,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 220.3341412661283,
+      "height": 341.60985534904495,
+      "seed": 1747362403,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "MPb6tVMlSBtnXhUTpZvIC"
+        }
+      ],
+      "updated": 1679660991442,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": {
+        "elementId": "X5nXXDxRcZputNDZp2WfW",
+        "gap": 5.794568769140314,
+        "focus": 1.2182487723741706
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          220.3341412661283,
+          -341.60985534904495
+        ]
+      ]
+    },
+    {
+      "type": "text",
+      "version": 4,
+      "versionNonce": 1008745755,
+      "isDeleted": false,
+      "id": "MPb6tVMlSBtnXhUTpZvIC",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 837.538735759359,
+      "y": 509.52852264286037,
+      "strokeColor": "#000000",
+      "backgroundColor": "#15aabf",
+      "width": 53,
+      "height": 20,
+      "seed": 1880081892,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661201719,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "offset",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "PFkOKGbMOcdhcpcv4DutQ",
+      "originalText": "offset"
+    },
+    {
+      "type": "text",
+      "version": 429,
+      "versionNonce": 147921333,
+      "isDeleted": false,
+      "id": "5GnY6Vq9qPDS0ntZW3UOE",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 917.166748046875,
+      "y": 259.3333282470703,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 197,
+      "height": 20,
+      "seed": 1179957165,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661138960,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "hold values of GLOBALs",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "hold values of GLOBALs"
+    },
+    {
+      "type": "rectangle",
+      "version": 234,
+      "versionNonce": 339097851,
+      "isDeleted": false,
+      "id": "FcG2LCAdKxw_z2SzLhPPr",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 548.3333129882812,
+      "y": 351.666748046875,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 228.66668701171866,
+      "height": 299.66668701171875,
+      "seed": 407083364,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "_acaSZ2N5FSiuPGQjH8RA",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679660870990,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 182,
+      "versionNonce": 1735336804,
+      "isDeleted": false,
+      "id": "OdBdX2K4Kcn9Hq7vInwKA",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 571,
+      "y": 387.3333740234375,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 190,
+      "height": 30,
+      "seed": 175211612,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "OZDTfM4SDGXEVbxgCAbsx"
+        }
+      ],
+      "updated": 1679643912221,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 135,
+      "versionNonce": 1695691996,
+      "isDeleted": false,
+      "id": "OZDTfM4SDGXEVbxgCAbsx",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 621.5,
+      "y": 392.3333740234375,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 89,
+      "height": 20,
+      "seed": 1994750564,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679643912221,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "uint8 type;",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "OdBdX2K4Kcn9Hq7vInwKA",
+      "originalText": "uint8 type;"
+    },
+    {
+      "type": "text",
+      "version": 174,
+      "versionNonce": 2063524661,
+      "isDeleted": false,
+      "id": "w5el7zqw5vcK9RGIcDlFZ",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 580.9999389648438,
+      "y": 357.8333435058594,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 171,
+      "height": 19,
+      "seed": 1831729636,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "_acaSZ2N5FSiuPGQjH8RA",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679660882880,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 3,
+      "text": "WASMGlobalInstance",
+      "baseline": 15,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "WASMGlobalInstance"
+    },
+    {
+      "type": "rectangle",
+      "version": 147,
+      "versionNonce": 1194277212,
+      "isDeleted": false,
+      "id": "gd9UxDYh5XZYBG_P0f0c2",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 568.3333129882812,
+      "y": 424.666748046875,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 195,
+      "height": 30,
+      "seed": 1018791012,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "YeoEjoPWRnxxyB2DjNi3g"
+        }
+      ],
+      "updated": 1679643912221,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 104,
+      "versionNonce": 1904253540,
+      "isDeleted": false,
+      "id": "YeoEjoPWRnxxyB2DjNi3g",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 600.8333129882812,
+      "y": 429.666748046875,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 130,
+      "height": 20,
+      "seed": 839439588,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679643912221,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "bool is_mutable;",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "gd9UxDYh5XZYBG_P0f0c2",
+      "originalText": "bool is_mutable;"
+    },
+    {
+      "type": "rectangle",
+      "version": 91,
+      "versionNonce": 1480043996,
+      "isDeleted": false,
+      "id": "MB23InQWKES3OnYie8bbP",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 569.6666870117188,
+      "y": 460.666748046875,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 195,
+      "height": 30,
+      "seed": 1468762332,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "--vP8lM62PEnMBhgFRqTM"
+        }
+      ],
+      "updated": 1679643912221,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 63,
+      "versionNonce": 717729252,
+      "isDeleted": false,
+      "id": "--vP8lM62PEnMBhgFRqTM",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 582.6666870117188,
+      "y": 465.666748046875,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 169,
+      "height": 20,
+      "seed": 695551844,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679643912221,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "uint32 data_offset;",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "MB23InQWKES3OnYie8bbP",
+      "originalText": "uint32 data_offset;"
+    },
+    {
+      "type": "rectangle",
+      "version": 111,
+      "versionNonce": 155030108,
+      "isDeleted": false,
+      "id": "pUUma4amJviNKdfn5otpb",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 577.6666870117188,
+      "y": 497.33338928222656,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 180.33331298828125,
+      "height": 30,
+      "seed": 1550527844,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "JybtW1PyDYQa00JaSYsuo"
+        }
+      ],
+      "updated": 1679643912221,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 63,
+      "versionNonce": 1625313636,
+      "isDeleted": false,
+      "id": "JybtW1PyDYQa00JaSYsuo",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 618.8333435058594,
+      "y": 502.33338928222656,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 98,
+      "height": 20,
+      "seed": 1952693084,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679643912221,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "initial_value",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "pUUma4amJviNKdfn5otpb",
+      "originalText": "initial_value"
+    },
+    {
+      "type": "rectangle",
+      "version": 91,
+      "versionNonce": 1494410972,
+      "isDeleted": false,
+      "id": "CewuQtNj0ZC6Ogsq68ite",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 569.6666870117188,
+      "y": 546.6667022705078,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 191,
+      "height": 30,
+      "seed": 10317668,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "4xSFF2vFZIoA0G7GTeC8-"
+        }
+      ],
+      "updated": 1679643912221,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 63,
+      "versionNonce": 588809444,
+      "isDeleted": false,
+      "id": "4xSFF2vFZIoA0G7GTeC8-",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 588.1666870117188,
+      "y": 551.6667022705078,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 154,
+      "height": 20,
+      "seed": 1109403492,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679643912221,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "import_module_inst",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "CewuQtNj0ZC6Ogsq68ite",
+      "originalText": "import_module_inst"
+    },
+    {
+      "type": "rectangle",
+      "version": 123,
+      "versionNonce": 474590044,
+      "isDeleted": false,
+      "id": "AuHfz77U4KxNTCmKvW6bJ",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 573,
+      "y": 589.3333892822266,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 184,
+      "height": 30,
+      "seed": 2058570588,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "h7MfnIO2f08rV_U7840Zp"
+        }
+      ],
+      "updated": 1679643912221,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 75,
+      "versionNonce": 1727940708,
+      "isDeleted": false,
+      "id": "h7MfnIO2f08rV_U7840Zp",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 591,
+      "y": 594.3333892822266,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 148,
+      "height": 20,
+      "seed": 1917882340,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679643912221,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "import_global_inst",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "AuHfz77U4KxNTCmKvW6bJ",
+      "originalText": "import_global_inst"
+    },
+    {
+      "type": "text",
+      "version": 134,
+      "versionNonce": 1361481211,
+      "isDeleted": false,
+      "id": "Clf1NqZqRXJuRl-CQgx_u",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 232.6667175292969,
+      "y": 454.6668395996094,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 237,
+      "height": 20,
+      "seed": 1711793252,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "_acaSZ2N5FSiuPGQjH8RA",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679661000688,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "WASMGlobalInstance *globals;",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "WASMGlobalInstance *globals;"
+    },
+    {
+      "type": "text",
+      "version": 30,
+      "versionNonce": 1504826724,
+      "isDeleted": false,
+      "id": "Mj7l2FOHQ7NNAkTiGq7T_",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 641,
+      "y": 631.0001373291016,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 29,
+      "height": 20,
+      "seed": 1401608924,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679643959727,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "[0]",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "[0]"
+    },
+    {
+      "type": "rectangle",
+      "version": 52,
+      "versionNonce": 894397020,
+      "isDeleted": false,
+      "id": "CGwcN3BpsJaehLlHjEn6l",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 548.6666259765625,
+      "y": 653.0000457763672,
+      "strokeColor": "#000000",
+      "backgroundColor": "#15aabf",
+      "width": 227,
+      "height": 87,
+      "seed": 253331684,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679644065258,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 107,
+      "versionNonce": 1424372828,
+      "isDeleted": false,
+      "id": "YjTAPKLSA0k-ml5j0Ho59",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 565.1666259765625,
+      "y": 671.6667327880859,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 195,
+      "height": 30,
+      "seed": 192441436,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "jmlAM3nHo1CJVxGKppt1O"
+        }
+      ],
+      "updated": 1679643968867,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 78,
+      "versionNonce": 2064306020,
+      "isDeleted": false,
+      "id": "jmlAM3nHo1CJVxGKppt1O",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 578.1666259765625,
+      "y": 676.6667327880859,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 169,
+      "height": 20,
+      "seed": 1473779556,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679643968868,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "uint32 data_offset;",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "YjTAPKLSA0k-ml5j0Ho59",
+      "originalText": "uint32 data_offset;"
+    },
+    {
+      "type": "text",
+      "version": 32,
+      "versionNonce": 1512962780,
+      "isDeleted": false,
+      "id": "QnLh-KZNv_MoD4Ak5RsLk",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 636.1666259765625,
+      "y": 719.0000457763672,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 22,
+      "height": 20,
+      "seed": 927449564,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679643979051,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "[1]",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "[1]"
+    },
+    {
+      "type": "rectangle",
+      "version": 62,
+      "versionNonce": 626330844,
+      "isDeleted": false,
+      "id": "F26JZDrwDBDSk5o5kcV_E",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 547.3333129882812,
+      "y": 739.6667327880859,
+      "strokeColor": "#000000",
+      "backgroundColor": "#15aabf",
+      "width": 227.666748046875,
+      "height": 60.666656494140625,
+      "seed": 725179740,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679644057644,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 71,
+      "versionNonce": 1658992100,
+      "isDeleted": false,
+      "id": "H6cL4L0PUBLB5An3KDf-i",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 636.6666259765625,
+      "y": 784.0003204345703,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 31,
+      "height": 20,
+      "seed": 83711068,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679644496025,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "[...]",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "[...]"
+    },
+    {
+      "type": "rectangle",
+      "version": 158,
+      "versionNonce": 208125412,
+      "isDeleted": false,
+      "id": "M6cl8S-GRJkkRSQrUxzJV",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 566.833251953125,
+      "y": 747.6667327880859,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 195,
+      "height": 30,
+      "seed": 997959652,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "DrpXGgZIT2RAhz4L6EM2n"
+        }
+      ],
+      "updated": 1679644019993,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 128,
+      "versionNonce": 493257308,
+      "isDeleted": false,
+      "id": "DrpXGgZIT2RAhz4L6EM2n",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 579.833251953125,
+      "y": 752.6667327880859,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 169,
+      "height": 20,
+      "seed": 157169756,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679644019993,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "uint32 data_offset;",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "M6cl8S-GRJkkRSQrUxzJV",
+      "originalText": "uint32 data_offset;"
+    },
+    {
+      "type": "rectangle",
+      "version": 223,
+      "versionNonce": 680765365,
+      "isDeleted": false,
+      "id": "nPxM8HePICecTvRXbdEeU",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 983.333251953125,
+      "y": 378.1666793823242,
+      "strokeColor": "#000000",
+      "backgroundColor": "#868e96",
+      "width": 97.66668701171875,
+      "height": 30.000015258789062,
+      "seed": 1516156124,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "Y_Dw9hCEvutA3MjjHfyJK",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679660991443,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 165,
+      "versionNonce": 430152219,
+      "isDeleted": false,
+      "id": "Y_Dw9hCEvutA3MjjHfyJK",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 756.6666259765625,
+      "y": 766.3333892822266,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 217.14296385054604,
+      "height": 385.92617569738337,
+      "seed": 703298780,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "MraNxq38RWxCBOb3EhIue"
+        }
+      ],
+      "updated": 1679660991443,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": {
+        "elementId": "nPxM8HePICecTvRXbdEeU",
+        "gap": 9.523662126016394,
+        "focus": 1.1442737969660202
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          217.14296385054604,
+          -385.92617569738337
+        ]
+      ]
+    },
+    {
+      "type": "text",
+      "version": 4,
+      "versionNonce": 1122104853,
+      "isDeleted": false,
+      "id": "MraNxq38RWxCBOb3EhIue",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 838.7381079018355,
+      "y": 563.3703014335349,
+      "strokeColor": "#000000",
+      "backgroundColor": "#15aabf",
+      "width": 53,
+      "height": 20,
+      "seed": 1058889828,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661201730,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "offset",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "Y_Dw9hCEvutA3MjjHfyJK",
+      "originalText": "offset"
+    },
+    {
+      "type": "text",
+      "version": 239,
+      "versionNonce": 551950564,
+      "isDeleted": false,
+      "id": "O5mHltv55Fs4-vM6wNcf-",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 226.99996948242188,
+      "y": 655.0000457763672,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 164,
+      "height": 20,
+      "seed": 352849508,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "1QAmzR8Zkk8scUA3tqI0k",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679644753215,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "WASMGlobalInstance",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "WASMGlobalInstance"
+    },
+    {
+      "type": "rectangle",
+      "version": 104,
+      "versionNonce": 219644132,
+      "isDeleted": false,
+      "id": "CpOJESdMD1E9wBe2Gkkvf",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "dashed",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 216.66665649414062,
+      "y": 681.6666412353516,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 180.33331298828125,
+      "height": 46.666778564453125,
+      "seed": 705788380,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679644728661,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 153,
+      "versionNonce": 296383867,
+      "isDeleted": false,
+      "id": "1QAmzR8Zkk8scUA3tqI0k",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 583.9999694824219,
+      "y": 602.3333587646484,
+      "strokeColor": "#000000",
+      "backgroundColor": "#15aabf",
+      "width": 179.2173434297432,
+      "height": 75.12469349055664,
+      "seed": 869061340,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "N9fS0DKeDh1d_Ueyopb9v"
+        }
+      ],
+      "updated": 1679661068533,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": {
+        "elementId": "O5mHltv55Fs4-vM6wNcf-",
+        "focus": 1.1855962422681312,
+        "gap": 14.0001220703125
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          -179.2173434297432,
+          75.12469349055664
+        ]
+      ]
+    },
+    {
+      "id": "N9fS0DKeDh1d_Ueyopb9v",
+      "type": "text",
+      "x": 449.39129776755027,
+      "y": 629.8957055099268,
+      "width": 90,
+      "height": 20,
+      "angle": 0,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "groupIds": [],
+      "roundness": null,
+      "seed": 339183189,
+      "version": 24,
+      "versionNonce": 270159573,
+      "isDeleted": false,
+      "boundElements": null,
+      "updated": 1679661092509,
+      "link": null,
+      "locked": false,
+      "text": "when import",
+      "fontSize": 16,
+      "fontFamily": 1,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "baseline": 14,
+      "containerId": "1QAmzR8Zkk8scUA3tqI0k",
+      "originalText": "when import"
+    },
+    {
+      "type": "rectangle",
+      "version": 59,
+      "versionNonce": 96174172,
+      "isDeleted": false,
+      "id": "oDs6sXYd2cCCUTlDuFyfK",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "dashed",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 199.66659545898438,
+      "y": 599.9999847412109,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 236.33343505859375,
+      "height": 196.3333740234375,
+      "seed": 1531972708,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679644717838,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 72,
+      "versionNonce": 1711293284,
+      "isDeleted": false,
+      "id": "Gyz12ttmraGX-CaCTWl3h",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 191.99990844726562,
+      "y": 576.3333892822266,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 239,
+      "height": 20,
+      "seed": 683171044,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "957MNrV_zCOsf-ssBBkla",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679644717838,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "WASMModuleInstance (second)",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "WASMModuleInstance (second)"
+    },
+    {
+      "type": "text",
+      "version": 185,
+      "versionNonce": 1644000405,
+      "isDeleted": false,
+      "id": "7TYuQ_yCiwRN4oz8zkdGb",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 38.33337402343753,
+      "y": 248.66676330566406,
+      "strokeColor": "#d9480f",
+      "backgroundColor": "transparent",
+      "width": 171,
+      "height": 19,
+      "seed": 1694546652,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661000688,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 3,
+      "text": "WASMModuleInstance",
+      "baseline": 15,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "WASMModuleInstance"
+    },
+    {
+      "type": "rectangle",
+      "version": 151,
+      "versionNonce": 1152705621,
+      "isDeleted": false,
+      "id": "DN3tWnhyoeDPQR_-BYeYI",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 36.666656494140625,
+      "y": 269.00010681152344,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 202.00003051757815,
+      "height": 124.66665649414062,
+      "seed": 693300324,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "-n6vwSfIOzGpAxjpRyuNZ",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679661004485,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 150,
+      "versionNonce": 458299605,
+      "isDeleted": false,
+      "id": "K0JMv-qZGU4i9Or0Xz4Gg",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 246.33328247070315,
+      "y": 399.33343505859375,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 218,
+      "height": 19,
+      "seed": 881476572,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661029361,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 3,
+      "text": "WASMModuleInstanceExtra",
+      "baseline": 15,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "WASMModuleInstanceExtra"
+    },
+    {
+      "type": "rectangle",
+      "version": 169,
+      "versionNonce": 769392085,
+      "isDeleted": false,
+      "id": "CERoUCjzlaXjrdr4PSxtB",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 225.33328247070312,
+      "y": 428.00010681152344,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 256.3333740234375,
+      "height": 91.33331298828128,
+      "seed": 1750838620,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "-n6vwSfIOzGpAxjpRyuNZ",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679661027326,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 88,
+      "versionNonce": 1947089019,
+      "isDeleted": false,
+      "id": "H3BkjBVeDYM2F429PxOI9",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 233.0000915527344,
+      "y": 447.00010681152344,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 243.00006103515625,
+      "height": 31,
+      "seed": 258806116,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "-n6vwSfIOzGpAxjpRyuNZ",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679661000688,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 257,
+      "versionNonce": 314119835,
+      "isDeleted": false,
+      "id": "_acaSZ2N5FSiuPGQjH8RA",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 463.97668298272777,
+      "y": 453.66683959960943,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 80.59006409386518,
+      "height": 100.23285752369344,
+      "seed": 1866235612,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661000688,
+      "link": null,
+      "locked": false,
+      "startBinding": {
+        "elementId": "Clf1NqZqRXJuRl-CQgx_u",
+        "focus": 0.8216444271084713,
+        "gap": 1
+      },
+      "endBinding": {
+        "elementId": "FcG2LCAdKxw_z2SzLhPPr",
+        "focus": 1.009989878742988,
+        "gap": 3.7665659116883603
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          80.59006409386518,
+          -100.23285752369344
+        ]
+      ]
+    },
+    {
+      "type": "rectangle",
+      "version": 63,
+      "versionNonce": 1164697781,
+      "isDeleted": false,
+      "id": "NIObCr2apYl6JLLzA37G2",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 232.66665649414065,
+      "y": 486.66676330566406,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 244.33331298828125,
+      "height": 30,
+      "seed": 1813909212,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "sYEF77zbpRw-pcdX1ass6"
+        }
+      ],
+      "updated": 1679661000688,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 24,
+      "versionNonce": 4682011,
+      "isDeleted": false,
+      "id": "sYEF77zbpRw-pcdX1ass6",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 272.33331298828125,
+      "y": 491.66676330566406,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 165,
+      "height": 20,
+      "seed": 382274908,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661000688,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "uint32 global_count;",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "NIObCr2apYl6JLLzA37G2",
+      "originalText": "uint32 global_count;"
+    },
+    {
+      "type": "rectangle",
+      "version": 142,
+      "versionNonce": 519569941,
+      "isDeleted": false,
+      "id": "7jX0wgP7v4HHkuITKOf89",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 94.3333435058594,
+      "y": 344.33351135253906,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 115,
+      "height": 30.333358764648438,
+      "seed": 1226666212,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "sK7ecOoz_3QIduVF0nHd7"
+        }
+      ],
+      "updated": 1679661000688,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 116,
+      "versionNonce": 1846580667,
+      "isDeleted": false,
+      "id": "sK7ecOoz_3QIduVF0nHd7",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 146.3333435058594,
+      "y": 349.5001907348633,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 11,
+      "height": 20,
+      "seed": 1178170724,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661000688,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "e",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "7jX0wgP7v4HHkuITKOf89",
+      "originalText": "e"
+    },
+    {
+      "type": "diamond",
+      "version": 135,
+      "versionNonce": 691599221,
+      "isDeleted": false,
+      "id": "yTfoj623sdm1eh4Eusmvt",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 174.66665649414065,
+      "y": 352.0001983642578,
+      "strokeColor": "#000000",
+      "backgroundColor": "#be4bdb",
+      "width": 13.66668701171875,
+      "height": 12.333328247070312,
+      "seed": 559414236,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661000688,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "arrow",
+      "version": 324,
+      "versionNonce": 1197545819,
+      "isDeleted": false,
+      "id": "-n6vwSfIOzGpAxjpRyuNZ",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 182.00003051757815,
+      "y": 356.66676330566406,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 45.12566323463764,
+      "height": 69.66665649414062,
+      "seed": 1850539876,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661027326,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": {
+        "elementId": "CERoUCjzlaXjrdr4PSxtB",
+        "gap": 1,
+        "focus": -0.6072997775389923
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          45.12566323463764,
+          69.66665649414062
+        ]
+      ]
+    },
+    {
+      "type": "arrow",
+      "version": 68,
+      "versionNonce": 732107996,
+      "isDeleted": false,
+      "id": "957MNrV_zCOsf-ssBBkla",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 578.0000305175781,
+      "y": 557.6666717529297,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 144.0692777412945,
+      "height": 39.30743410761045,
+      "seed": 1605267676,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679644717838,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": {
+        "elementId": "Gyz12ttmraGX-CaCTWl3h",
+        "focus": 1.0338080600507247,
+        "gap": 3.00006103515625
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          -144.0692777412945,
+          39.30743410761045
+        ]
+      ]
+    },
+    {
+      "type": "diamond",
+      "version": 20,
+      "versionNonce": 825681252,
+      "isDeleted": false,
+      "id": "pKw8fr7S6f80J93nrJtkQ",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 575.8333129882812,
+      "y": 553.5000076293945,
+      "strokeColor": "#000000",
+      "backgroundColor": "#be4bdb",
+      "width": 13.66668701171875,
+      "height": 12.333328247070312,
+      "seed": 222063588,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679644481683,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "diamond",
+      "version": 20,
+      "versionNonce": 825681252,
+      "isDeleted": false,
+      "id": "XKwLDKrjsXcSogvJHSY-e",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 573.8333129882812,
+      "y": 597.5000076293945,
+      "strokeColor": "#000000",
+      "backgroundColor": "#be4bdb",
+      "width": 13.66668701171875,
+      "height": 12.333328247070312,
+      "seed": 1140569180,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679644483164,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "rectangle",
+      "version": 215,
+      "versionNonce": 510935253,
+      "isDeleted": false,
+      "id": "oPjebDyI5NP26BNK4PLtX",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 50.33343505859378,
+      "y": 290.33338928222656,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 180,
+      "height": 31,
+      "seed": 727213156,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "type": "text",
+          "id": "ZK3cjtpUxVpruHBkbgevo"
+        }
+      ],
+      "updated": 1679661000688,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 175,
+      "versionNonce": 1653383931,
+      "isDeleted": false,
+      "id": "ZK3cjtpUxVpruHBkbgevo",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 58.33343505859378,
+      "y": 295.83338928222656,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 164,
+      "height": 20,
+      "seed": 1130592356,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661000688,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "uint8 * global_data",
+      "baseline": 14,
+      "textAlign": "center",
+      "verticalAlign": "middle",
+      "containerId": "oPjebDyI5NP26BNK4PLtX",
+      "originalText": "uint8 * global_data"
+    },
+    {
+      "type": "arrow",
+      "version": 159,
+      "versionNonce": 345149237,
+      "isDeleted": false,
+      "id": "5S0qe2-BjQRPwuEEQ_UsU",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 228.00003051757812,
+      "y": 299.9999694824219,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 754.7517447227082,
+      "height": 17.8331298828125,
+      "seed": 1256331620,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679661008047,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": {
+        "elementId": "D5Ay5TxydaAe4f80l_79L",
+        "focus": 0.9720307648275319,
+        "gap": 1
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          385.0834503173828,
+          -17.8331298828125
+        ],
+        [
+          754.7517447227082,
+          -2.996583692902334
+        ]
+      ]
+    },
+    {
+      "type": "diamond",
+      "version": 89,
+      "versionNonce": 1413439029,
+      "isDeleted": false,
+      "id": "szV9RT3yAJ51dUnP5JYMS",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 220.1667175292969,
+      "y": 294.50000762939453,
+      "strokeColor": "#000000",
+      "backgroundColor": "#be4bdb",
+      "width": 13.66668701171875,
+      "height": 12.333328247070312,
+      "seed": 1642184284,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679661000688,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 160,
+      "versionNonce": 715957468,
+      "isDeleted": false,
+      "id": "DuwilIDd-fhNUxybFRKva",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 255.16659545898438,
+      "y": 750.6665496826172,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 99,
+      "height": 20,
+      "seed": 121250780,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679644739787,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "global_data",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "global_data"
+    },
+    {
+      "type": "rectangle",
+      "version": 143,
+      "versionNonce": 2046173532,
+      "isDeleted": false,
+      "id": "6CMun9I8IOX876t85IJ2X",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "dashed",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 215.83328247070312,
+      "y": 738.6664733886719,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 180.33331298828125,
+      "height": 46.666778564453125,
+      "seed": 2113088100,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [
+        {
+          "id": "igqxFPh3AgDb1kYMsORSZ",
+          "type": "arrow"
+        }
+      ],
+      "updated": 1679644784578,
+      "link": null,
+      "locked": false
+    },
+    {
+      "type": "text",
+      "version": 34,
+      "versionNonce": 1198703204,
+      "isDeleted": false,
+      "id": "cbSo4pUG_J3a4Pnk3ODCA",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 276.6665954589844,
+      "y": 693.3332366943359,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 55,
+      "height": 20,
+      "seed": 328242020,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": [],
+      "updated": 1679644771096,
+      "link": null,
+      "locked": false,
+      "fontSize": 16,
+      "fontFamily": 1,
+      "text": "globals",
+      "baseline": 14,
+      "textAlign": "left",
+      "verticalAlign": "top",
+      "containerId": null,
+      "originalText": "globals"
+    },
+    {
+      "type": "arrow",
+      "version": 81,
+      "versionNonce": 311117156,
+      "isDeleted": false,
+      "id": "igqxFPh3AgDb1kYMsORSZ",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 247.33328247070312,
+      "y": 706.3332366943359,
+      "strokeColor": "#000000",
+      "backgroundColor": "transparent",
+      "width": 71.66665649414062,
+      "height": 58.33343505859375,
+      "seed": 1345639908,
+      "groupIds": [],
+      "roundness": {
+        "type": 2
+      },
+      "boundElements": [],
+      "updated": 1679644787747,
+      "link": null,
+      "locked": false,
+      "startBinding": null,
+      "endBinding": {
+        "elementId": "6CMun9I8IOX876t85IJ2X",
+        "focus": -0.8452179527426857,
+        "gap": 1.499908447265625
+      },
+      "lastCommittedPoint": null,
+      "startArrowhead": null,
+      "endArrowhead": "arrow",
+      "points": [
+        [
+          0,
+          0
+        ],
+        [
+          -71.66665649414062,
+          15.66668701171875
+        ],
+        [
+          -32.999908447265625,
+          58.33343505859375
+        ]
+      ]
+    },
+    {
+      "type": "diamond",
+      "version": 135,
+      "versionNonce": 691599221,
+      "isDeleted": false,
+      "id": "koTtnTl85TIGelUbfKlR9",
+      "fillStyle": "hachure",
+      "strokeWidth": 1,
+      "strokeStyle": "solid",
+      "roughness": 1,
+      "opacity": 100,
+      "angle": 0,
+      "x": 459.58338928222656,
+      "y": 446.0001754760742,
+      "strokeColor": "#000000",
+      "backgroundColor": "#be4bdb",
+      "width": 13.66668701171875,
+      "height": 12.333328247070312,
+      "seed": 626707637,
+      "groupIds": [],
+      "roundness": null,
+      "boundElements": null,
+      "updated": 1679661018823,
+      "link": null,
+      "locked": false
+    }
+  ],
+  "appState": {
+    "gridSize": null,
+    "viewBackgroundColor": "#ffffff"
+  },
+  "files": {}
+}

core/iwasm/doc/wasm_function.MD

@@ -3,3 +3,45 @@
 ## Internal data structure
 
 ![](./images/wasm_function.svg)
+
+## Module level data (function)
+**WASMModule**: Data structure created for loading a module.   
+- `WASMImport *import_functions`: initialized from the Wasm file function section
+- `WASMImport *import_functions`: initialized from the Wasm file import section. The runtime will try to solve the imports from the native API registration, refer to [Export native API to WASM application](../../../doc/export_native_api.md).  
+
+**WASMFunction**: represent a Wasm function located in Wasm file code section. Track the links to the compiled function body.  
+**WASMImport**: represent a imported Wasm function which can be a solved as a native function or another Wasm module exported function.
+
+## Instance level data (function)
+**WASMModuleInstance**: Data structure created for instantiating a module
+- `WASMModuleInstanceExtra::functions`: combined the imported and internal functions into single array of structure `WASMFunctionInstance`
+- `WASMModuleInstance::import_func_ptrs`: pointer array for solved function imports. This array is referred during calling imported native function. Note it is initialzed with the module level solved imports, but may points to different native function later due to c-api calls.
+ 
+## Execution paths
+**Interpreter**:
+- Execute internal bytecode function:
+    ```
+    WASMModuleInstance::e   
+        -> WASMModuleInstanceExtra::functions[..] 
+            -> WASMFunctionInstance::func         
+                -> WASMFunction::code
+    ```
+
+- Execute imported function from other module:
+    ```
+    WASMModuleInstance::e   
+        -> WASMModuleInstanceExtra::functions[..] 
+            (WASMFunctionInstance flag indicates an import)
+            -> WASMFunctionInstance::import_func_inst
+                -> WASMModuleInstance(second)::func
+                    -> WASMFunction (second module)::code
+    ```
+
+- Execute imported native function:
+    ```
+    WASMModuleInstance::e   
+        -> WASMModuleInstanceExtra::functions[..] 
+        (flag indicates imported native)
+    WASMModuleInstance::import_func_ptrs[..]
+        -> native function
+    ```

core/iwasm/doc/wasm_globals.MD

@@ -0,0 +1,4 @@
+# Wasm globals
+
+![](./images/wasm_globals.svg)
+

doc/memory_tune.md

@@ -1,7 +1,7 @@
 # Memory model and memory usage tunning
 
 References:
-- [Blog: Understand WAMR heap](https://bytecodealliance.github.io/wamr.dev/blog/understand-the-wamr-heap/)
+- [Blog: Understand WAMR heap](https://bytecodealliance.github.io/wamr.dev/blog/understand-the-wamr-heaps/)
 - [Blog: Understand WAMR stacks](https://bytecodealliance.github.io/wamr.dev/blog/understand-the-wamr-stacks/)
 
 ## The memory model