diff --git a/examples/game-of-life/assembly/index.ts b/examples/game-of-life/assembly/index.ts
index bc7de522..c6e3a722 100644
--- a/examples/game-of-life/assembly/index.ts
+++ b/examples/game-of-life/assembly/index.ts
@@ -1,6 +1,4 @@
-// The Game of Life, also known simply as Life, is a cellular automaton devised by the British
-// mathematician John Horton Conway in 1970.
-// see: https://en.wikipedia.org/wiki/Conway's_Game_of_Life
+// see: https://en.wikipedia.org/wiki/Conway%27s_Game_of_Life
 
 var w: i32, h: i32, s: i32;
 
@@ -55,4 +53,4 @@ export function step(): void {
 }
 
 // Performing a step uses bytes [0, s-1] as the input and writes the output to [s, 2*s-1].
-// Note that the code above wastes a lot of space by using one byte per cell.
+// Note that the code above wastes a lot of memory by using one byte per cell.
diff --git a/examples/game-of-life/build/optimized.wat b/examples/game-of-life/build/optimized.wat
index 4f7cbc77..f117490d 100644
--- a/examples/game-of-life/build/optimized.wat
+++ b/examples/game-of-life/build/optimized.wat
@@ -9,22 +9,22 @@
  (export "step" (func $assembly/index/step))
  (export "memory" (memory $0))
  (func $assembly/index/init (; 0 ;) (type $iiv) (param $0 i32) (param $1 i32)
-  ;;@ assembly/index.ts:9:2
+  ;;@ assembly/index.ts:7:2
   (set_global $assembly/index/w
-   ;;@ assembly/index.ts:9:6
+   ;;@ assembly/index.ts:7:6
    (get_local $0)
   )
-  ;;@ assembly/index.ts:10:2
+  ;;@ assembly/index.ts:8:2
   (set_global $assembly/index/h
-   ;;@ assembly/index.ts:10:6
+   ;;@ assembly/index.ts:8:6
    (get_local $1)
   )
-  ;;@ assembly/index.ts:11:2
+  ;;@ assembly/index.ts:9:2
   (set_global $assembly/index/s
-   ;;@ assembly/index.ts:11:6
+   ;;@ assembly/index.ts:9:6
    (i32.mul
     (get_local $0)
-    ;;@ assembly/index.ts:11:14
+    ;;@ assembly/index.ts:9:14
     (get_local $1)
    )
   )
@@ -39,81 +39,81 @@
   (local $6 i32)
   (local $7 i32)
   (set_local $5
-   ;;@ assembly/index.ts:16:12
+   ;;@ assembly/index.ts:14:12
    (i32.sub
     (get_global $assembly/index/h)
-    ;;@ assembly/index.ts:16:16
+    ;;@ assembly/index.ts:14:16
     (i32.const 1)
    )
   )
   (set_local $6
-   ;;@ assembly/index.ts:17:12
+   ;;@ assembly/index.ts:15:12
    (i32.sub
     (get_global $assembly/index/w)
-    ;;@ assembly/index.ts:17:16
+    ;;@ assembly/index.ts:15:16
     (i32.const 1)
    )
   )
   (loop $continue|0
    (if
-    ;;@ assembly/index.ts:21:18
+    ;;@ assembly/index.ts:19:18
     (i32.lt_s
      (get_local $0)
-     ;;@ assembly/index.ts:21:22
+     ;;@ assembly/index.ts:19:22
      (get_global $assembly/index/h)
     )
     (block
      (set_local $3
-      ;;@ assembly/index.ts:23:14
+      ;;@ assembly/index.ts:21:14
       (if (result i32)
        (get_local $0)
-       ;;@ assembly/index.ts:23:29
+       ;;@ assembly/index.ts:21:29
        (i32.sub
         (get_local $0)
-        ;;@ assembly/index.ts:23:33
+        ;;@ assembly/index.ts:21:33
         (i32.const 1)
        )
-       ;;@ assembly/index.ts:23:23
+       ;;@ assembly/index.ts:21:23
        (get_local $5)
       )
      )
      (set_local $4
-      ;;@ assembly/index.ts:24:14
+      ;;@ assembly/index.ts:22:14
       (if (result i32)
        (i32.eq
         (get_local $0)
-        ;;@ assembly/index.ts:24:19
+        ;;@ assembly/index.ts:22:19
         (get_local $5)
        )
-       ;;@ assembly/index.ts:24:25
+       ;;@ assembly/index.ts:22:25
        (i32.const 0)
-       ;;@ assembly/index.ts:24:29
+       ;;@ assembly/index.ts:22:29
        (i32.add
         (get_local $0)
-        ;;@ assembly/index.ts:24:33
+        ;;@ assembly/index.ts:22:33
         (i32.const 1)
        )
       )
      )
-     ;;@ assembly/index.ts:25:9
+     ;;@ assembly/index.ts:23:9
      (set_local $1
-      ;;@ assembly/index.ts:25:17
+      ;;@ assembly/index.ts:23:17
       (i32.const 0)
      )
      (loop $continue|1
       (if
-       ;;@ assembly/index.ts:25:20
+       ;;@ assembly/index.ts:23:20
        (i32.lt_s
         (get_local $1)
-        ;;@ assembly/index.ts:25:24
+        ;;@ assembly/index.ts:23:24
         (get_global $assembly/index/w)
        )
        (block
-        ;;@ assembly/index.ts:31:6
+        ;;@ assembly/index.ts:29:6
         (set_local $2
-         ;;@ assembly/index.ts:31:27
+         ;;@ assembly/index.ts:29:27
          (i32.add
-          ;;@ assembly/index.ts:32:8
+          ;;@ assembly/index.ts:30:8
           (i32.add
            (i32.add
             (i32.add
@@ -121,66 +121,66 @@
               (i32.add
                (i32.add
                 (i32.load8_u
-                 ;;@ assembly/index.ts:32:17
+                 ;;@ assembly/index.ts:30:17
                  (i32.add
                   (i32.mul
                    (get_local $3)
-                   ;;@ assembly/index.ts:32:23
+                   ;;@ assembly/index.ts:30:23
                    (get_global $assembly/index/w)
                   )
                   (tee_local $2
-                   ;;@ assembly/index.ts:26:16
+                   ;;@ assembly/index.ts:24:16
                    (if (result i32)
                     (get_local $1)
-                    ;;@ assembly/index.ts:26:31
+                    ;;@ assembly/index.ts:24:31
                     (i32.sub
                      (get_local $1)
-                     ;;@ assembly/index.ts:26:35
+                     ;;@ assembly/index.ts:24:35
                      (i32.const 1)
                     )
-                    ;;@ assembly/index.ts:26:25
+                    ;;@ assembly/index.ts:24:25
                     (get_local $6)
                    )
                   )
                  )
                 )
-                ;;@ assembly/index.ts:32:34
+                ;;@ assembly/index.ts:30:34
                 (i32.load8_u
-                 ;;@ assembly/index.ts:32:43
+                 ;;@ assembly/index.ts:30:43
                  (i32.add
                   (i32.mul
                    (get_local $3)
-                   ;;@ assembly/index.ts:32:49
+                   ;;@ assembly/index.ts:30:49
                    (get_global $assembly/index/w)
                   )
-                  ;;@ assembly/index.ts:32:53
+                  ;;@ assembly/index.ts:30:53
                   (get_local $1)
                  )
                 )
                )
-               ;;@ assembly/index.ts:32:58
+               ;;@ assembly/index.ts:30:58
                (i32.load8_u
-                ;;@ assembly/index.ts:32:67
+                ;;@ assembly/index.ts:30:67
                 (i32.add
                  (i32.mul
                   (get_local $3)
-                  ;;@ assembly/index.ts:32:73
+                  ;;@ assembly/index.ts:30:73
                   (get_global $assembly/index/w)
                  )
                  (tee_local $7
-                  ;;@ assembly/index.ts:27:16
+                  ;;@ assembly/index.ts:25:16
                   (if (result i32)
                    (i32.eq
                     (get_local $1)
-                    ;;@ assembly/index.ts:27:21
+                    ;;@ assembly/index.ts:25:21
                     (get_local $6)
                    )
-                   ;;@ assembly/index.ts:27:27
+                   ;;@ assembly/index.ts:25:27
                    (i32.const 0)
-                   ;;@ assembly/index.ts:27:31
+                   ;;@ assembly/index.ts:25:31
                    (i32.add
                     (get_local $1)
-                    ;;@ assembly/index.ts:27:35
+                    ;;@ assembly/index.ts:25:35
                     (i32.const 1)
                    )
                   )
@@ -188,161 +188,161 @@
                 )
                )
               )
-              ;;@ assembly/index.ts:33:8
+              ;;@ assembly/index.ts:31:8
               (i32.load8_u
-               ;;@ assembly/index.ts:33:17
+               ;;@ assembly/index.ts:31:17
                (i32.add
                 (i32.mul
                  (get_local $0)
-                 ;;@ assembly/index.ts:33:23
+                 ;;@ assembly/index.ts:31:23
                  (get_global $assembly/index/w)
                 )
-                ;;@ assembly/index.ts:33:27
+                ;;@ assembly/index.ts:31:27
                 (get_local $2)
                )
               )
              )
-             ;;@ assembly/index.ts:33:58
+             ;;@ assembly/index.ts:31:58
              (i32.load8_u
-              ;;@ assembly/index.ts:33:67
+              ;;@ assembly/index.ts:31:67
               (i32.add
                (i32.mul
                 (get_local $0)
-                ;;@ assembly/index.ts:33:73
+                ;;@ assembly/index.ts:31:73
                 (get_global $assembly/index/w)
                )
-               ;;@ assembly/index.ts:33:77
+               ;;@ assembly/index.ts:31:77
                (get_local $7)
               )
              )
             )
-            ;;@ assembly/index.ts:34:8
+            ;;@ assembly/index.ts:32:8
             (i32.load8_u
-             ;;@ assembly/index.ts:34:17
+             ;;@ assembly/index.ts:32:17
              (i32.add
               (i32.mul
                (get_local $4)
-               ;;@ assembly/index.ts:34:23
+               ;;@ assembly/index.ts:32:23
                (get_global $assembly/index/w)
               )
-              ;;@ assembly/index.ts:34:27
+              ;;@ assembly/index.ts:32:27
               (get_local $2)
              )
             )
            )
-           ;;@ assembly/index.ts:34:34
+           ;;@ assembly/index.ts:32:34
            (i32.load8_u
-            ;;@ assembly/index.ts:34:43
+            ;;@ assembly/index.ts:32:43
             (i32.add
              (i32.mul
               (get_local $4)
-              ;;@ assembly/index.ts:34:49
+              ;;@ assembly/index.ts:32:49
               (get_global $assembly/index/w)
              )
-             ;;@ assembly/index.ts:34:53
+             ;;@ assembly/index.ts:32:53
              (get_local $1)
             )
            )
           )
-          ;;@ assembly/index.ts:34:58
+          ;;@ assembly/index.ts:32:58
           (i32.load8_u
-           ;;@ assembly/index.ts:34:67
+           ;;@ assembly/index.ts:32:67
            (i32.add
             (i32.mul
              (get_local $4)
-             ;;@ assembly/index.ts:34:73
+             ;;@ assembly/index.ts:32:73
              (get_global $assembly/index/w)
             )
-            ;;@ assembly/index.ts:34:77
+            ;;@ assembly/index.ts:32:77
             (get_local $7)
            )
           )
          )
         )
-        ;;@ assembly/index.ts:38:6
+        ;;@ assembly/index.ts:36:6
         (if
-         ;;@ assembly/index.ts:37:18
+         ;;@ assembly/index.ts:35:18
          (i32.load8_u
-          ;;@ assembly/index.ts:37:27
+          ;;@ assembly/index.ts:35:27
           (i32.add
            (i32.mul
             (get_local $0)
-            ;;@ assembly/index.ts:37:31
+            ;;@ assembly/index.ts:35:31
             (get_global $assembly/index/w)
            )
-           ;;@ assembly/index.ts:37:35
+           ;;@ assembly/index.ts:35:35
            (get_local $1)
           )
          )
-         ;;@ assembly/index.ts:39:8
+         ;;@ assembly/index.ts:37:8
          (block $break|2
           (br_if $break|2
            (i32.eq
-            ;;@ assembly/index.ts:39:16
+            ;;@ assembly/index.ts:37:16
             (get_local $2)
-            ;;@ assembly/index.ts:44:15
+            ;;@ assembly/index.ts:42:15
             (i32.const 2)
            )
           )
           (br_if $break|2
            (i32.eq
             (get_local $2)
-            ;;@ assembly/index.ts:44:23
+            ;;@ assembly/index.ts:42:23
             (i32.const 3)
            )
           )
-          ;;@ assembly/index.ts:42:21
+          ;;@ assembly/index.ts:40:21
           (i32.store8
-           ;;@ assembly/index.ts:42:31
+           ;;@ assembly/index.ts:40:31
            (i32.add
             (i32.add
              (get_global $assembly/index/s)
-             ;;@ assembly/index.ts:42:35
+             ;;@ assembly/index.ts:40:35
              (i32.mul
               (get_local $0)
-              ;;@ assembly/index.ts:42:39
+              ;;@ assembly/index.ts:40:39
               (get_global $assembly/index/w)
              )
             )
-            ;;@ assembly/index.ts:42:43
+            ;;@ assembly/index.ts:40:43
             (get_local $1)
            )
-           ;;@ assembly/index.ts:42:46
+           ;;@ assembly/index.ts:40:46
            (i32.const 0)
           )
          )
          (if
           (i32.eq
-           ;;@ assembly/index.ts:47:16
+           ;;@ assembly/index.ts:45:16
            (get_local $2)
-           ;;@ assembly/index.ts:49:15
+           ;;@ assembly/index.ts:47:15
            (i32.const 3)
           )
-          ;;@ assembly/index.ts:49:20
+          ;;@ assembly/index.ts:47:20
           (i32.store8
-           ;;@ assembly/index.ts:49:30
+           ;;@ assembly/index.ts:47:30
            (i32.add
             (i32.add
              (get_global $assembly/index/s)
-             ;;@ assembly/index.ts:49:34
+             ;;@ assembly/index.ts:47:34
              (i32.mul
               (get_local $0)
-              ;;@ assembly/index.ts:49:38
+              ;;@ assembly/index.ts:47:38
               (get_global $assembly/index/w)
              )
             )
-            ;;@ assembly/index.ts:49:42
+            ;;@ assembly/index.ts:47:42
             (get_local $1)
            )
-           ;;@ assembly/index.ts:49:45
+           ;;@ assembly/index.ts:47:45
            (i32.const 1)
           )
          )
         )
-        ;;@ assembly/index.ts:25:27
+        ;;@ assembly/index.ts:23:27
         (set_local $1
          (i32.add
-          ;;@ assembly/index.ts:25:29
+          ;;@ assembly/index.ts:23:29
           (get_local $1)
           (i32.const 1)
          )
@@ -351,10 +351,10 @@
        )
       )
      )
-     ;;@ assembly/index.ts:21:25
+     ;;@ assembly/index.ts:19:25
      (set_local $0
       (i32.add
-       ;;@ assembly/index.ts:21:27
+       ;;@ assembly/index.ts:19:27
        (get_local $0)
        (i32.const 1)
       )
diff --git a/examples/game-of-life/build/untouched.wat b/examples/game-of-life/build/untouched.wat
index 4dcbfc03..ed45b632 100644
--- a/examples/game-of-life/build/untouched.wat
+++ b/examples/game-of-life/build/untouched.wat
@@ -10,22 +10,22 @@
  (export "step" (func $assembly/index/step))
  (export "memory" (memory $0))
  (func $assembly/index/init (; 0 ;) (type $iiv) (param $0 i32) (param $1 i32)
-  ;;@ assembly/index.ts:9:2
+  ;;@ assembly/index.ts:7:2
   (set_global $assembly/index/w
-   ;;@ assembly/index.ts:9:6
+   ;;@ assembly/index.ts:7:6
    (get_local $0)
   )
-  ;;@ assembly/index.ts:10:2
+  ;;@ assembly/index.ts:8:2
   (set_global $assembly/index/h
-   ;;@ assembly/index.ts:10:6
+   ;;@ assembly/index.ts:8:6
    (get_local $1)
   )
-  ;;@ assembly/index.ts:11:2
+  ;;@ assembly/index.ts:9:2
   (set_global $assembly/index/s
-   ;;@ assembly/index.ts:11:6
+   ;;@ assembly/index.ts:9:6
    (i32.mul
     (get_local $0)
-    ;;@ assembly/index.ts:11:14
+    ;;@ assembly/index.ts:9:14
     (get_local $1)
    )
   )
@@ -42,140 +42,140 @@
   (local $8 i32)
   (local $9 i32)
   (local $10 i32)
-  ;;@ assembly/index.ts:16:2
+  ;;@ assembly/index.ts:14:2
   (block
    (set_local $0
-    ;;@ assembly/index.ts:16:12
+    ;;@ assembly/index.ts:14:12
     (i32.sub
      (get_global $assembly/index/h)
-     ;;@ assembly/index.ts:16:16
+     ;;@ assembly/index.ts:14:16
      (i32.const 1)
     )
    )
    (set_local $1
-    ;;@ assembly/index.ts:17:12
+    ;;@ assembly/index.ts:15:12
     (i32.sub
      (get_global $assembly/index/w)
-     ;;@ assembly/index.ts:17:16
+     ;;@ assembly/index.ts:15:16
      (i32.const 1)
     )
    )
   )
-  ;;@ assembly/index.ts:21:2
+  ;;@ assembly/index.ts:19:2
   (block $break|0
-   ;;@ assembly/index.ts:21:7
+   ;;@ assembly/index.ts:19:7
    (set_local $2
-    ;;@ assembly/index.ts:21:15
+    ;;@ assembly/index.ts:19:15
     (i32.const 0)
    )
    (loop $continue|0
     (if
-     ;;@ assembly/index.ts:21:18
+     ;;@ assembly/index.ts:19:18
      (i32.lt_s
       (get_local $2)
-      ;;@ assembly/index.ts:21:22
+      ;;@ assembly/index.ts:19:22
       (get_global $assembly/index/h)
      )
      (block
       (block
        (block
         (set_local $3
-         ;;@ assembly/index.ts:23:14
+         ;;@ assembly/index.ts:21:14
          (if (result i32)
           (i32.eq
            (get_local $2)
-           ;;@ assembly/index.ts:23:19
+           ;;@ assembly/index.ts:21:19
            (i32.const 0)
           )
-          ;;@ assembly/index.ts:23:23
+          ;;@ assembly/index.ts:21:23
           (get_local $0)
-          ;;@ assembly/index.ts:23:29
+          ;;@ assembly/index.ts:21:29
           (i32.sub
            (get_local $2)
-           ;;@ assembly/index.ts:23:33
+           ;;@ assembly/index.ts:21:33
            (i32.const 1)
           )
          )
         )
         (set_local $4
-         ;;@ assembly/index.ts:24:14
+         ;;@ assembly/index.ts:22:14
          (if (result i32)
           (i32.eq
            (get_local $2)
-           ;;@ assembly/index.ts:24:19
+           ;;@ assembly/index.ts:22:19
            (get_local $0)
           )
-          ;;@ assembly/index.ts:24:25
+          ;;@ assembly/index.ts:22:25
           (i32.const 0)
-          ;;@ assembly/index.ts:24:29
+          ;;@ assembly/index.ts:22:29
           (i32.add
            (get_local $2)
-           ;;@ assembly/index.ts:24:33
+           ;;@ assembly/index.ts:22:33
            (i32.const 1)
           )
          )
         )
        )
-       ;;@ assembly/index.ts:25:4
+       ;;@ assembly/index.ts:23:4
        (block $break|1
-        ;;@ assembly/index.ts:25:9
+        ;;@ assembly/index.ts:23:9
         (set_local $5
-         ;;@ assembly/index.ts:25:17
+         ;;@ assembly/index.ts:23:17
          (i32.const 0)
         )
         (loop $continue|1
          (if
-          ;;@ assembly/index.ts:25:20
+          ;;@ assembly/index.ts:23:20
           (i32.lt_s
            (get_local $5)
-           ;;@ assembly/index.ts:25:24
+           ;;@ assembly/index.ts:23:24
            (get_global $assembly/index/w)
           )
           (block
            (block
             (block
              (set_local $6
-              ;;@ assembly/index.ts:26:16
+              ;;@ assembly/index.ts:24:16
               (if (result i32)
                (i32.eq
                 (get_local $5)
-                ;;@ assembly/index.ts:26:21
+                ;;@ assembly/index.ts:24:21
                 (i32.const 0)
                )
-               ;;@ assembly/index.ts:26:25
+               ;;@ assembly/index.ts:24:25
                (get_local $1)
-               ;;@ assembly/index.ts:26:31
+               ;;@ assembly/index.ts:24:31
                (i32.sub
                 (get_local $5)
-                ;;@ assembly/index.ts:26:35
+                ;;@ assembly/index.ts:24:35
                 (i32.const 1)
                )
               )
              )
              (set_local $7
-              ;;@ assembly/index.ts:27:16
+              ;;@ assembly/index.ts:25:16
               (if (result i32)
                (i32.eq
                 (get_local $5)
-                ;;@ assembly/index.ts:27:21
+                ;;@ assembly/index.ts:25:21
                 (get_local $1)
                )
-               ;;@ assembly/index.ts:27:27
+               ;;@ assembly/index.ts:25:27
                (i32.const 0)
-               ;;@ assembly/index.ts:27:31
+               ;;@ assembly/index.ts:25:31
                (i32.add
                 (get_local $5)
-                ;;@ assembly/index.ts:27:35
+                ;;@ assembly/index.ts:25:35
                 (i32.const 1)
                )
               )
              )
             )
-            ;;@ assembly/index.ts:31:6
+            ;;@ assembly/index.ts:29:6
             (set_local $8
-             ;;@ assembly/index.ts:31:27
+             ;;@ assembly/index.ts:29:27
              (i32.add
-              ;;@ assembly/index.ts:32:8
+              ;;@ assembly/index.ts:30:8
               (i32.add
                (i32.add
                 (i32.add
@@ -183,237 +183,237 @@
                   (i32.add
                    (i32.add
                     (i32.load8_u
-                     ;;@ assembly/index.ts:32:17
+                     ;;@ assembly/index.ts:30:17
                      (i32.add
                       (i32.mul
                        (get_local $3)
-                       ;;@ assembly/index.ts:32:23
+                       ;;@ assembly/index.ts:30:23
                        (get_global $assembly/index/w)
                       )
-                      ;;@ assembly/index.ts:32:27
+                      ;;@ assembly/index.ts:30:27
                       (get_local $6)
                      )
                     )
-                    ;;@ assembly/index.ts:32:34
+                    ;;@ assembly/index.ts:30:34
                     (i32.load8_u
-                     ;;@ assembly/index.ts:32:43
+                     ;;@ assembly/index.ts:30:43
                      (i32.add
                       (i32.mul
                        (get_local $3)
-                       ;;@ assembly/index.ts:32:49
+                       ;;@ assembly/index.ts:30:49
                        (get_global $assembly/index/w)
                       )
-                      ;;@ assembly/index.ts:32:53
+                      ;;@ assembly/index.ts:30:53
                       (get_local $5)
                      )
                     )
                    )
-                   ;;@ assembly/index.ts:32:58
+                   ;;@ assembly/index.ts:30:58
                    (i32.load8_u
-                    ;;@ assembly/index.ts:32:67
+                    ;;@ assembly/index.ts:30:67
                     (i32.add
                      (i32.mul
                       (get_local $3)
-                      ;;@ assembly/index.ts:32:73
+                      ;;@ assembly/index.ts:30:73
                       (get_global $assembly/index/w)
                      )
-                     ;;@ assembly/index.ts:32:77
+                     ;;@ assembly/index.ts:30:77
                      (get_local $7)
                     )
                    )
                   )
-                  ;;@ assembly/index.ts:33:8
+                  ;;@ assembly/index.ts:31:8
                   (i32.load8_u
-                   ;;@ assembly/index.ts:33:17
+                   ;;@ assembly/index.ts:31:17
                    (i32.add
                     (i32.mul
                      (get_local $2)
-                     ;;@ assembly/index.ts:33:23
+                     ;;@ assembly/index.ts:31:23
                      (get_global $assembly/index/w)
                     )
-                    ;;@ assembly/index.ts:33:27
+                    ;;@ assembly/index.ts:31:27
                     (get_local $6)
                    )
                   )
                  )
-                 ;;@ assembly/index.ts:33:58
+                 ;;@ assembly/index.ts:31:58
                  (i32.load8_u
-                  ;;@ assembly/index.ts:33:67
+                  ;;@ assembly/index.ts:31:67
                   (i32.add
                    (i32.mul
                     (get_local $2)
-                    ;;@ assembly/index.ts:33:73
+                    ;;@ assembly/index.ts:31:73
                     (get_global $assembly/index/w)
                    )
-                   ;;@ assembly/index.ts:33:77
+                   ;;@ assembly/index.ts:31:77
                    (get_local $7)
                   )
                  )
                 )
-                ;;@ assembly/index.ts:34:8
+                ;;@ assembly/index.ts:32:8
                 (i32.load8_u
-                 ;;@ assembly/index.ts:34:17
+                 ;;@ assembly/index.ts:32:17
                  (i32.add
                   (i32.mul
                    (get_local $4)
-                   ;;@ assembly/index.ts:34:23
+                   ;;@ assembly/index.ts:32:23
                    (get_global $assembly/index/w)
                   )
-                  ;;@ assembly/index.ts:34:27
+                  ;;@ assembly/index.ts:32:27
                   (get_local $6)
                  )
                 )
                )
-               ;;@ assembly/index.ts:34:34
+               ;;@ assembly/index.ts:32:34
                (i32.load8_u
-                ;;@ assembly/index.ts:34:43
+                ;;@ assembly/index.ts:32:43
                 (i32.add
                  (i32.mul
                   (get_local $4)
-                  ;;@ assembly/index.ts:34:49
+                  ;;@ assembly/index.ts:32:49
                   (get_global $assembly/index/w)
                  )
-                 ;;@ assembly/index.ts:34:53
+                 ;;@ assembly/index.ts:32:53
                  (get_local $5)
                 )
                )
               )
-              ;;@ assembly/index.ts:34:58
+              ;;@ assembly/index.ts:32:58
               (i32.load8_u
-               ;;@ assembly/index.ts:34:67
+               ;;@ assembly/index.ts:32:67
                (i32.add
                 (i32.mul
                  (get_local $4)
-                 ;;@ assembly/index.ts:34:73
+                 ;;@ assembly/index.ts:32:73
                  (get_global $assembly/index/w)
                 )
-                ;;@ assembly/index.ts:34:77
+                ;;@ assembly/index.ts:32:77
                 (get_local $7)
                )
               )
              )
             )
-            ;;@ assembly/index.ts:37:6
+            ;;@ assembly/index.ts:35:6
             (set_local $9
-             ;;@ assembly/index.ts:37:18
+             ;;@ assembly/index.ts:35:18
              (i32.load8_u
-              ;;@ assembly/index.ts:37:27
+              ;;@ assembly/index.ts:35:27
               (i32.add
                (i32.mul
                 (get_local $2)
-                ;;@ assembly/index.ts:37:31
+                ;;@ assembly/index.ts:35:31
                 (get_global $assembly/index/w)
                )
-               ;;@ assembly/index.ts:37:35
+               ;;@ assembly/index.ts:35:35
                (get_local $5)
               )
              )
             )
-            ;;@ assembly/index.ts:38:6
+            ;;@ assembly/index.ts:36:6
             (if
-             ;;@ assembly/index.ts:38:10
+             ;;@ assembly/index.ts:36:10
              (get_local $9)
-             ;;@ assembly/index.ts:39:8
+             ;;@ assembly/index.ts:37:8
              (block $break|2
               (block $case2|2
                (block $case1|2
                 (block $case0|2
                  (set_local $10
-                  ;;@ assembly/index.ts:39:16
+                  ;;@ assembly/index.ts:37:16
                   (get_local $8)
                  )
                  (br_if $case1|2
                   (i32.eq
                    (get_local $10)
-                   ;;@ assembly/index.ts:44:15
+                   ;;@ assembly/index.ts:42:15
                    (i32.const 2)
                   )
                  )
                  (br_if $case2|2
                   (i32.eq
                    (get_local $10)
-                   ;;@ assembly/index.ts:44:23
+                   ;;@ assembly/index.ts:42:23
                    (i32.const 3)
                   )
                  )
                  (br $case0|2)
                 )
-                ;;@ assembly/index.ts:42:19
+                ;;@ assembly/index.ts:40:19
                 (block
-                 ;;@ assembly/index.ts:42:21
+                 ;;@ assembly/index.ts:40:21
                  (i32.store8
-                  ;;@ assembly/index.ts:42:31
+                  ;;@ assembly/index.ts:40:31
                   (i32.add
                    (i32.add
                     (get_global $assembly/index/s)
-                    ;;@ assembly/index.ts:42:35
+                    ;;@ assembly/index.ts:40:35
                     (i32.mul
                      (get_local $2)
-                     ;;@ assembly/index.ts:42:39
+                     ;;@ assembly/index.ts:40:39
                      (get_global $assembly/index/w)
                     )
                    )
-                   ;;@ assembly/index.ts:42:43
+                   ;;@ assembly/index.ts:40:43
                    (get_local $5)
                   )
-                  ;;@ assembly/index.ts:42:46
+                  ;;@ assembly/index.ts:40:46
                   (i32.const 0)
                  )
-                 ;;@ assembly/index.ts:42:50
+                 ;;@ assembly/index.ts:40:50
                  (br $break|2)
                 )
                )
               )
              )
-             ;;@ assembly/index.ts:47:8
+             ;;@ assembly/index.ts:45:8
              (block $break|3
               (block $case1|3
                (block $case0|3
                 (set_local $10
-                 ;;@ assembly/index.ts:47:16
+                 ;;@ assembly/index.ts:45:16
                  (get_local $8)
                 )
                 (br_if $case0|3
                  (i32.eq
                   (get_local $10)
-                  ;;@ assembly/index.ts:49:15
+                  ;;@ assembly/index.ts:47:15
                   (i32.const 3)
                  )
                 )
                 (br $case1|3)
                )
-               ;;@ assembly/index.ts:49:18
+               ;;@ assembly/index.ts:47:18
                (block
-                ;;@ assembly/index.ts:49:20
+                ;;@ assembly/index.ts:47:20
                 (i32.store8
-                 ;;@ assembly/index.ts:49:30
+                 ;;@ assembly/index.ts:47:30
                  (i32.add
                   (i32.add
                    (get_global $assembly/index/s)
-                   ;;@ assembly/index.ts:49:34
+                   ;;@ assembly/index.ts:47:34
                    (i32.mul
                     (get_local $2)
-                    ;;@ assembly/index.ts:49:38
+                    ;;@ assembly/index.ts:47:38
                     (get_global $assembly/index/w)
                    )
                   )
-                  ;;@ assembly/index.ts:49:42
+                  ;;@ assembly/index.ts:47:42
                   (get_local $5)
                  )
-                 ;;@ assembly/index.ts:49:45
+                 ;;@ assembly/index.ts:47:45
                  (i32.const 1)
                 )
-                ;;@ assembly/index.ts:49:49
+                ;;@ assembly/index.ts:47:49
                 (br $break|3)
                )
               )
              )
             )
            )
-           ;;@ assembly/index.ts:25:27
+           ;;@ assembly/index.ts:23:27
            (set_local $5
             (i32.add
-             ;;@ assembly/index.ts:25:29
+             ;;@ assembly/index.ts:23:29
              (get_local $5)
              (i32.const 1)
             )
@@ -424,10 +424,10 @@
         )
        )
       )
-      ;;@ assembly/index.ts:21:25
+      ;;@ assembly/index.ts:19:25
       (set_local $2
        (i32.add
-        ;;@ assembly/index.ts:21:27
+        ;;@ assembly/index.ts:19:27
         (get_local $2)
         (i32.const 1)
        )
diff --git a/examples/game-of-life/index.html b/examples/game-of-life/index.html
index e6b7eab8..24987de5 100644
--- a/examples/game-of-life/index.html
+++ b/examples/game-of-life/index.html
@@ -14,6 +14,7 @@ canvas { position: absolute; top: 60px; left: 20px; width: calc(100% - 40px); he
 <h1>
   <a href="https://en.wikipedia.org/wiki/Conway's_Game_of_Life">Conway's Game Of Life</a> in
   <a href="http://assemblyscript.org">AssemblyScript</a>
+  ( <a href="https://github.com/AssemblyScript/assemblyscript/blob/master/examples/game-of-life/assembly/index.ts">source</a> )
 </h1>
 <canvas></canvas>
 <script>
diff --git a/examples/mandelbrot/assembly/index.ts b/examples/mandelbrot/assembly/index.ts
index 969b2f52..4e276f34 100644
--- a/examples/mandelbrot/assembly/index.ts
+++ b/examples/mandelbrot/assembly/index.ts
@@ -1,4 +1,7 @@
-export function update(width: u32, height: u32, max: u32): void {
+// see: https://en.wikipedia.org/wiki/Mandelbrot_set
+
+/** Computes the number of iterations in the rectangle `width` x `height`, limited to `max`. */
+export function compute(width: u32, height: u32, max: u32): void {
   var translateX = width / 1.6;
   var translateY = height / 2.0;
   var scale = 4.0 / width;
@@ -7,12 +10,14 @@ export function update(width: u32, height: u32, max: u32): void {
     for (let x: u32 = 0; x < width; ++x) {
       let real = (x - translateX) * scale;
       let iteration = <u32>0;
-      for (let ix = 0.0, iy = 0.0; ix * ix + iy * iy <= 4.0; ++iteration) {
-        let t = ix * ix - iy * iy + real;
+      let ixsq: f64, iysq: f64;
+      for (let ix = 0.0, iy = 0.0; (ixsq = ix * ix) + (iysq = iy * iy) <= 4.0; ++iteration) {
+        let t = ixsq - iysq + real;
         iy = 2.0 * ix * iy + imaginary;
         ix = t;
         if (++iteration >= max) break;
       }
+      // write normalized iterations to [0, width * height], row by row
       store<u8>(y * width + x, iteration * 255 / max);
     }
   }
diff --git a/examples/mandelbrot/build/optimized.wasm b/examples/mandelbrot/build/optimized.wasm
index c85a9108..12b699eb 100644
Binary files a/examples/mandelbrot/build/optimized.wasm and b/examples/mandelbrot/build/optimized.wasm differ
diff --git a/examples/mandelbrot/build/optimized.wat b/examples/mandelbrot/build/optimized.wat
index 70a91dbf..d415796f 100644
--- a/examples/mandelbrot/build/optimized.wat
+++ b/examples/mandelbrot/build/optimized.wat
@@ -1,207 +1,201 @@
 (module
  (type $iiiv (func (param i32 i32 i32)))
  (memory $0 1)
- (export "update" (func $assembly/index/update))
+ (export "compute" (func $assembly/index/compute))
  (export "memory" (memory $0))
- (func $assembly/index/update (; 0 ;) (type $iiiv) (param $0 i32) (param $1 i32) (param $2 i32)
-  (local $3 f64)
-  (local $4 f64)
+ (func $assembly/index/compute (; 0 ;) (type $iiiv) (param $0 i32) (param $1 i32) (param $2 i32)
+  (local $3 i32)
+  (local $4 i32)
   (local $5 i32)
-  (local $6 i32)
-  (local $7 i32)
+  (local $6 f64)
+  (local $7 f64)
   (local $8 f64)
   (local $9 f64)
   (local $10 f64)
   (local $11 f64)
   (local $12 f64)
   (local $13 f64)
-  ;;@ assembly/index.ts:2:2
+  (local $14 f64)
+  ;;@ assembly/index.ts:5:2
   (set_local $9
-   ;;@ assembly/index.ts:2:19
+   ;;@ assembly/index.ts:5:19
    (f64.div
     (f64.convert_u/i32
      (get_local $0)
     )
-    ;;@ assembly/index.ts:2:27
+    ;;@ assembly/index.ts:5:27
     (f64.const 1.6)
    )
   )
-  ;;@ assembly/index.ts:3:2
+  ;;@ assembly/index.ts:6:2
   (set_local $10
-   ;;@ assembly/index.ts:3:19
+   ;;@ assembly/index.ts:6:19
    (f64.div
     (f64.convert_u/i32
      (get_local $1)
     )
-    ;;@ assembly/index.ts:3:28
+    ;;@ assembly/index.ts:6:28
     (f64.const 2)
    )
   )
-  ;;@ assembly/index.ts:4:2
+  ;;@ assembly/index.ts:7:2
   (set_local $8
-   ;;@ assembly/index.ts:4:14
+   ;;@ assembly/index.ts:7:14
    (f64.div
     (f64.const 4)
     (f64.convert_u/i32
-     ;;@ assembly/index.ts:4:20
+     ;;@ assembly/index.ts:7:20
      (get_local $0)
     )
    )
   )
   (loop $continue|0
    (if
-    ;;@ assembly/index.ts:5:23
+    ;;@ assembly/index.ts:8:23
     (i32.lt_u
-     (get_local $5)
-     ;;@ assembly/index.ts:5:27
+     (get_local $3)
+     ;;@ assembly/index.ts:8:27
      (get_local $1)
     )
     (block
-     ;;@ assembly/index.ts:6:4
+     ;;@ assembly/index.ts:9:4
      (set_local $11
-      ;;@ assembly/index.ts:6:20
+      ;;@ assembly/index.ts:9:20
       (f64.mul
        (f64.sub
         (f64.convert_u/i32
-         ;;@ assembly/index.ts:6:21
-         (get_local $5)
+         ;;@ assembly/index.ts:9:21
+         (get_local $3)
         )
-        ;;@ assembly/index.ts:6:25
+        ;;@ assembly/index.ts:9:25
         (get_local $10)
        )
-       ;;@ assembly/index.ts:6:39
+       ;;@ assembly/index.ts:9:39
        (get_local $8)
       )
      )
-     ;;@ assembly/index.ts:7:9
-     (set_local $6
-      ;;@ assembly/index.ts:7:22
+     ;;@ assembly/index.ts:10:9
+     (set_local $4
+      ;;@ assembly/index.ts:10:22
       (i32.const 0)
      )
      (loop $continue|1
       (if
-       ;;@ assembly/index.ts:7:25
+       ;;@ assembly/index.ts:10:25
        (i32.lt_u
-        (get_local $6)
-        ;;@ assembly/index.ts:7:29
+        (get_local $4)
+        ;;@ assembly/index.ts:10:29
         (get_local $0)
        )
        (block
-        ;;@ assembly/index.ts:8:6
+        ;;@ assembly/index.ts:11:6
         (set_local $12
-         ;;@ assembly/index.ts:8:17
+         ;;@ assembly/index.ts:11:17
          (f64.mul
           (f64.sub
            (f64.convert_u/i32
-            ;;@ assembly/index.ts:8:18
-            (get_local $6)
+            ;;@ assembly/index.ts:11:18
+            (get_local $4)
            )
-           ;;@ assembly/index.ts:8:22
+           ;;@ assembly/index.ts:11:22
            (get_local $9)
           )
-          ;;@ assembly/index.ts:8:36
+          ;;@ assembly/index.ts:11:36
           (get_local $8)
          )
         )
-        ;;@ assembly/index.ts:9:6
-        (set_local $7
-         ;;@ assembly/index.ts:9:22
+        ;;@ assembly/index.ts:12:6
+        (set_local $5
+         ;;@ assembly/index.ts:12:22
          (i32.const 0)
         )
-        ;;@ assembly/index.ts:10:6
+        ;;@ assembly/index.ts:14:6
         (block $break|2
-         (set_local $3
-          ;;@ assembly/index.ts:10:20
+         (set_local $6
+          ;;@ assembly/index.ts:14:20
           (f64.const 0)
          )
-         (set_local $4
-          ;;@ assembly/index.ts:10:30
+         (set_local $7
+          ;;@ assembly/index.ts:14:30
           (f64.const 0)
          )
          (loop $continue|2
           (if
-           ;;@ assembly/index.ts:10:35
+           ;;@ assembly/index.ts:14:35
            (f64.le
             (f64.add
-             (f64.mul
-              (get_local $3)
-              ;;@ assembly/index.ts:10:40
-              (get_local $3)
+             (tee_local $13
+              ;;@ assembly/index.ts:14:43
+              (f64.mul
+               (get_local $6)
+               ;;@ assembly/index.ts:14:48
+               (get_local $6)
+              )
              )
-             ;;@ assembly/index.ts:10:45
-             (f64.mul
-              (get_local $4)
-              ;;@ assembly/index.ts:10:50
-              (get_local $4)
+             ;;@ assembly/index.ts:14:54
+             (tee_local $14
+              ;;@ assembly/index.ts:14:62
+              (f64.mul
+               (get_local $7)
+               ;;@ assembly/index.ts:14:67
+               (get_local $7)
+              )
              )
             )
-            ;;@ assembly/index.ts:10:56
+            ;;@ assembly/index.ts:14:74
             (f64.const 4)
            )
            (block
-            ;;@ assembly/index.ts:11:8
-            (set_local $13
-             ;;@ assembly/index.ts:11:16
-             (f64.add
-              (f64.sub
-               (f64.mul
-                (get_local $3)
-                ;;@ assembly/index.ts:11:21
-                (get_local $3)
-               )
-               ;;@ assembly/index.ts:11:26
-               (f64.mul
-                (get_local $4)
-                ;;@ assembly/index.ts:11:31
-                (get_local $4)
-               )
-              )
-              ;;@ assembly/index.ts:11:36
-              (get_local $12)
-             )
-            )
-            ;;@ assembly/index.ts:12:8
-            (set_local $4
-             ;;@ assembly/index.ts:12:13
+            ;;@ assembly/index.ts:16:8
+            (set_local $7
+             ;;@ assembly/index.ts:16:13
              (f64.add
               (f64.mul
                (f64.mul
                 (f64.const 2)
-                ;;@ assembly/index.ts:12:19
-                (get_local $3)
+                ;;@ assembly/index.ts:16:19
+                (get_local $6)
                )
-               ;;@ assembly/index.ts:12:24
-               (get_local $4)
+               ;;@ assembly/index.ts:16:24
+               (get_local $7)
               )
-              ;;@ assembly/index.ts:12:29
+              ;;@ assembly/index.ts:16:29
               (get_local $11)
              )
             )
-            ;;@ assembly/index.ts:13:8
-            (set_local $3
-             ;;@ assembly/index.ts:13:13
-             (get_local $13)
+            ;;@ assembly/index.ts:17:8
+            (set_local $6
+             ;;@ assembly/index.ts:15:16
+             (f64.add
+              (f64.sub
+               (get_local $13)
+               ;;@ assembly/index.ts:15:23
+               (get_local $14)
+              )
+              ;;@ assembly/index.ts:15:30
+              (get_local $12)
+             )
             )
-            ;;@ assembly/index.ts:14:32
+            ;;@ assembly/index.ts:18:32
             (br_if $break|2
-             ;;@ assembly/index.ts:14:12
+             ;;@ assembly/index.ts:18:12
              (i32.ge_u
-              (tee_local $7
+              (tee_local $5
                (i32.add
-                ;;@ assembly/index.ts:14:14
-                (get_local $7)
+                ;;@ assembly/index.ts:18:14
+                (get_local $5)
                 (i32.const 1)
                )
               )
-              ;;@ assembly/index.ts:14:27
+              ;;@ assembly/index.ts:18:27
               (get_local $2)
              )
             )
-            ;;@ assembly/index.ts:10:61
-            (set_local $7
+            ;;@ assembly/index.ts:14:79
+            (set_local $5
              (i32.add
-              ;;@ assembly/index.ts:10:63
-              (get_local $7)
+              ;;@ assembly/index.ts:14:81
+              (get_local $5)
               (i32.const 1)
              )
             )
@@ -210,34 +204,34 @@
           )
          )
         )
-        ;;@ assembly/index.ts:16:6
+        ;;@ assembly/index.ts:21:6
         (i32.store8
-         ;;@ assembly/index.ts:16:16
+         ;;@ assembly/index.ts:21:16
          (i32.add
           (i32.mul
-           (get_local $5)
-           ;;@ assembly/index.ts:16:20
+           (get_local $3)
+           ;;@ assembly/index.ts:21:20
            (get_local $0)
           )
-          ;;@ assembly/index.ts:16:28
-          (get_local $6)
+          ;;@ assembly/index.ts:21:28
+          (get_local $4)
          )
-         ;;@ assembly/index.ts:16:31
+         ;;@ assembly/index.ts:21:31
          (i32.div_u
           (i32.mul
-           (get_local $7)
-           ;;@ assembly/index.ts:16:43
+           (get_local $5)
+           ;;@ assembly/index.ts:21:43
            (i32.const 255)
           )
-          ;;@ assembly/index.ts:16:49
+          ;;@ assembly/index.ts:21:49
           (get_local $2)
          )
         )
-        ;;@ assembly/index.ts:7:36
-        (set_local $6
+        ;;@ assembly/index.ts:10:36
+        (set_local $4
          (i32.add
-          ;;@ assembly/index.ts:7:38
-          (get_local $6)
+          ;;@ assembly/index.ts:10:38
+          (get_local $4)
           (i32.const 1)
          )
         )
@@ -245,11 +239,11 @@
        )
       )
      )
-     ;;@ assembly/index.ts:5:35
-     (set_local $5
+     ;;@ assembly/index.ts:8:35
+     (set_local $3
       (i32.add
-       ;;@ assembly/index.ts:5:37
-       (get_local $5)
+       ;;@ assembly/index.ts:8:37
+       (get_local $3)
        (i32.const 1)
       )
      )
diff --git a/examples/mandelbrot/build/untouched.wat b/examples/mandelbrot/build/untouched.wat
index 7d7a11d4..15f18986 100644
--- a/examples/mandelbrot/build/untouched.wat
+++ b/examples/mandelbrot/build/untouched.wat
@@ -2,9 +2,9 @@
  (type $iiiv (func (param i32 i32 i32)))
  (global $HEAP_BASE i32 (i32.const 4))
  (memory $0 1)
- (export "update" (func $assembly/index/update))
+ (export "compute" (func $assembly/index/compute))
  (export "memory" (memory $0))
- (func $assembly/index/update (; 0 ;) (type $iiiv) (param $0 i32) (param $1 i32) (param $2 i32)
+ (func $assembly/index/compute (; 0 ;) (type $iiiv) (param $0 i32) (param $1 i32) (param $2 i32)
   (local $3 f64)
   (local $4 f64)
   (local $5 f64)
@@ -16,209 +16,211 @@
   (local $11 f64)
   (local $12 f64)
   (local $13 f64)
-  ;;@ assembly/index.ts:2:2
+  (local $14 f64)
+  (local $15 f64)
+  ;;@ assembly/index.ts:5:2
   (set_local $3
-   ;;@ assembly/index.ts:2:19
+   ;;@ assembly/index.ts:5:19
    (f64.div
     (f64.convert_u/i32
      (get_local $0)
     )
-    ;;@ assembly/index.ts:2:27
+    ;;@ assembly/index.ts:5:27
     (f64.const 1.6)
    )
   )
-  ;;@ assembly/index.ts:3:2
+  ;;@ assembly/index.ts:6:2
   (set_local $4
-   ;;@ assembly/index.ts:3:19
+   ;;@ assembly/index.ts:6:19
    (f64.div
     (f64.convert_u/i32
      (get_local $1)
     )
-    ;;@ assembly/index.ts:3:28
+    ;;@ assembly/index.ts:6:28
     (f64.const 2)
    )
   )
-  ;;@ assembly/index.ts:4:2
+  ;;@ assembly/index.ts:7:2
   (set_local $5
-   ;;@ assembly/index.ts:4:14
+   ;;@ assembly/index.ts:7:14
    (f64.div
     (f64.const 4)
     (f64.convert_u/i32
-     ;;@ assembly/index.ts:4:20
+     ;;@ assembly/index.ts:7:20
      (get_local $0)
     )
    )
   )
-  ;;@ assembly/index.ts:5:2
+  ;;@ assembly/index.ts:8:2
   (block $break|0
-   ;;@ assembly/index.ts:5:7
+   ;;@ assembly/index.ts:8:7
    (set_local $6
-    ;;@ assembly/index.ts:5:20
+    ;;@ assembly/index.ts:8:20
     (i32.const 0)
    )
    (loop $continue|0
     (if
-     ;;@ assembly/index.ts:5:23
+     ;;@ assembly/index.ts:8:23
      (i32.lt_u
       (get_local $6)
-      ;;@ assembly/index.ts:5:27
+      ;;@ assembly/index.ts:8:27
       (get_local $1)
      )
      (block
       (block
-       ;;@ assembly/index.ts:6:4
+       ;;@ assembly/index.ts:9:4
        (set_local $7
-        ;;@ assembly/index.ts:6:20
+        ;;@ assembly/index.ts:9:20
         (f64.mul
          (f64.sub
           (f64.convert_u/i32
-           ;;@ assembly/index.ts:6:21
+           ;;@ assembly/index.ts:9:21
            (get_local $6)
           )
-          ;;@ assembly/index.ts:6:25
+          ;;@ assembly/index.ts:9:25
           (get_local $4)
          )
-         ;;@ assembly/index.ts:6:39
+         ;;@ assembly/index.ts:9:39
          (get_local $5)
         )
        )
-       ;;@ assembly/index.ts:7:4
+       ;;@ assembly/index.ts:10:4
        (block $break|1
-        ;;@ assembly/index.ts:7:9
+        ;;@ assembly/index.ts:10:9
         (set_local $8
-         ;;@ assembly/index.ts:7:22
+         ;;@ assembly/index.ts:10:22
          (i32.const 0)
         )
         (loop $continue|1
          (if
-          ;;@ assembly/index.ts:7:25
+          ;;@ assembly/index.ts:10:25
           (i32.lt_u
            (get_local $8)
-           ;;@ assembly/index.ts:7:29
+           ;;@ assembly/index.ts:10:29
            (get_local $0)
           )
           (block
            (block
-            ;;@ assembly/index.ts:8:6
+            ;;@ assembly/index.ts:11:6
             (set_local $9
-             ;;@ assembly/index.ts:8:17
+             ;;@ assembly/index.ts:11:17
              (f64.mul
               (f64.sub
                (f64.convert_u/i32
-                ;;@ assembly/index.ts:8:18
+                ;;@ assembly/index.ts:11:18
                 (get_local $8)
                )
-               ;;@ assembly/index.ts:8:22
+               ;;@ assembly/index.ts:11:22
                (get_local $3)
               )
-              ;;@ assembly/index.ts:8:36
+              ;;@ assembly/index.ts:11:36
               (get_local $5)
              )
             )
-            ;;@ assembly/index.ts:9:6
+            ;;@ assembly/index.ts:12:6
             (set_local $10
-             ;;@ assembly/index.ts:9:22
+             ;;@ assembly/index.ts:12:22
              (i32.const 0)
             )
-            ;;@ assembly/index.ts:10:6
+            ;;@ assembly/index.ts:13:6
+            (nop)
+            ;;@ assembly/index.ts:14:6
             (block $break|2
              (block
-              (set_local $11
-               ;;@ assembly/index.ts:10:20
+              (set_local $13
+               ;;@ assembly/index.ts:14:20
                (f64.const 0)
               )
-              (set_local $12
-               ;;@ assembly/index.ts:10:30
+              (set_local $14
+               ;;@ assembly/index.ts:14:30
                (f64.const 0)
               )
              )
              (loop $continue|2
               (if
-               ;;@ assembly/index.ts:10:35
+               ;;@ assembly/index.ts:14:35
                (f64.le
                 (f64.add
-                 (f64.mul
-                  (get_local $11)
-                  ;;@ assembly/index.ts:10:40
-                  (get_local $11)
+                 (tee_local $11
+                  ;;@ assembly/index.ts:14:43
+                  (f64.mul
+                   (get_local $13)
+                   ;;@ assembly/index.ts:14:48
+                   (get_local $13)
+                  )
                  )
-                 ;;@ assembly/index.ts:10:45
-                 (f64.mul
-                  (get_local $12)
-                  ;;@ assembly/index.ts:10:50
-                  (get_local $12)
+                 ;;@ assembly/index.ts:14:54
+                 (tee_local $12
+                  ;;@ assembly/index.ts:14:62
+                  (f64.mul
+                   (get_local $14)
+                   ;;@ assembly/index.ts:14:67
+                   (get_local $14)
+                  )
                  )
                 )
-                ;;@ assembly/index.ts:10:56
+                ;;@ assembly/index.ts:14:74
                 (f64.const 4)
                )
                (block
                 (block
-                 ;;@ assembly/index.ts:11:8
-                 (set_local $13
-                  ;;@ assembly/index.ts:11:16
+                 ;;@ assembly/index.ts:15:8
+                 (set_local $15
+                  ;;@ assembly/index.ts:15:16
                   (f64.add
                    (f64.sub
-                    (f64.mul
-                     (get_local $11)
-                     ;;@ assembly/index.ts:11:21
-                     (get_local $11)
-                    )
-                    ;;@ assembly/index.ts:11:26
-                    (f64.mul
-                     (get_local $12)
-                     ;;@ assembly/index.ts:11:31
-                     (get_local $12)
-                    )
+                    (get_local $11)
+                    ;;@ assembly/index.ts:15:23
+                    (get_local $12)
                    )
-                   ;;@ assembly/index.ts:11:36
+                   ;;@ assembly/index.ts:15:30
                    (get_local $9)
                   )
                  )
-                 ;;@ assembly/index.ts:12:8
-                 (set_local $12
-                  ;;@ assembly/index.ts:12:13
+                 ;;@ assembly/index.ts:16:8
+                 (set_local $14
+                  ;;@ assembly/index.ts:16:13
                   (f64.add
                    (f64.mul
                     (f64.mul
                      (f64.const 2)
-                     ;;@ assembly/index.ts:12:19
-                     (get_local $11)
+                     ;;@ assembly/index.ts:16:19
+                     (get_local $13)
                     )
-                    ;;@ assembly/index.ts:12:24
-                    (get_local $12)
+                    ;;@ assembly/index.ts:16:24
+                    (get_local $14)
                    )
-                   ;;@ assembly/index.ts:12:29
+                   ;;@ assembly/index.ts:16:29
                    (get_local $7)
                   )
                  )
-                 ;;@ assembly/index.ts:13:8
-                 (set_local $11
-                  ;;@ assembly/index.ts:13:13
-                  (get_local $13)
+                 ;;@ assembly/index.ts:17:8
+                 (set_local $13
+                  ;;@ assembly/index.ts:17:13
+                  (get_local $15)
                  )
-                 ;;@ assembly/index.ts:14:8
+                 ;;@ assembly/index.ts:18:8
                  (if
-                  ;;@ assembly/index.ts:14:12
+                  ;;@ assembly/index.ts:18:12
                   (i32.ge_u
                    (tee_local $10
                     (i32.add
-                     ;;@ assembly/index.ts:14:14
+                     ;;@ assembly/index.ts:18:14
                      (get_local $10)
                      (i32.const 1)
                     )
                    )
-                   ;;@ assembly/index.ts:14:27
+                   ;;@ assembly/index.ts:18:27
                    (get_local $2)
                   )
-                  ;;@ assembly/index.ts:14:32
+                  ;;@ assembly/index.ts:18:32
                   (br $break|2)
                  )
                 )
-                ;;@ assembly/index.ts:10:61
+                ;;@ assembly/index.ts:14:79
                 (set_local $10
                  (i32.add
-                  ;;@ assembly/index.ts:10:63
+                  ;;@ assembly/index.ts:14:81
                   (get_local $10)
                   (i32.const 1)
                  )
@@ -228,34 +230,34 @@
               )
              )
             )
-            ;;@ assembly/index.ts:16:6
+            ;;@ assembly/index.ts:21:6
             (i32.store8
-             ;;@ assembly/index.ts:16:16
+             ;;@ assembly/index.ts:21:16
              (i32.add
               (i32.mul
                (get_local $6)
-               ;;@ assembly/index.ts:16:20
+               ;;@ assembly/index.ts:21:20
                (get_local $0)
               )
-              ;;@ assembly/index.ts:16:28
+              ;;@ assembly/index.ts:21:28
               (get_local $8)
              )
-             ;;@ assembly/index.ts:16:31
+             ;;@ assembly/index.ts:21:31
              (i32.div_u
               (i32.mul
                (get_local $10)
-               ;;@ assembly/index.ts:16:43
+               ;;@ assembly/index.ts:21:43
                (i32.const 255)
               )
-              ;;@ assembly/index.ts:16:49
+              ;;@ assembly/index.ts:21:49
               (get_local $2)
              )
             )
            )
-           ;;@ assembly/index.ts:7:36
+           ;;@ assembly/index.ts:10:36
            (set_local $8
             (i32.add
-             ;;@ assembly/index.ts:7:38
+             ;;@ assembly/index.ts:10:38
              (get_local $8)
              (i32.const 1)
             )
@@ -266,10 +268,10 @@
         )
        )
       )
-      ;;@ assembly/index.ts:5:35
+      ;;@ assembly/index.ts:8:35
       (set_local $6
        (i32.add
-        ;;@ assembly/index.ts:5:37
+        ;;@ assembly/index.ts:8:37
         (get_local $6)
         (i32.const 1)
        )
diff --git a/examples/mandelbrot/index.html b/examples/mandelbrot/index.html
index 85e46c84..d4b93ae1 100644
--- a/examples/mandelbrot/index.html
+++ b/examples/mandelbrot/index.html
@@ -14,6 +14,7 @@ canvas { position: absolute; top: 60px; left: 20px; width: calc(100% - 40px); he
 <h1>
   <a href="https://en.wikipedia.org/wiki/Mandelbrot_set">Mandelbrot Set</a> in
   <a href="http://assemblyscript.org">AssemblyScript</a>
+  ( <a href="https://github.com/AssemblyScript/assemblyscript/blob/master/examples/mandelbrot/assembly/index.ts">source</a> )
 </h1>
 <canvas></canvas>
 <script>
@@ -42,10 +43,10 @@ fetch("build/optimized.wasm")
     memory.grow(pages);
   }
 
-  // Update
-  exports.update(width, height, 100);
+  // Compute number of iterations
+  exports.compute(width, height, 100);
 
-  // Render
+  // Render to the canvas
   var mem = new Uint8Array(memory.buffer);
   var imageData = ctx.createImageData(width, height);
   var argb = new Uint32Array(imageData.data.buffer);
@@ -56,7 +57,7 @@ fetch("build/optimized.wasm")
   ctx.putImageData(imageData, 0, 0);
 }).catch(err => {
   alert("Failed to load WASM: " + err.message + " (ad blocker, maybe?)");
-  throw err;
+  console.log(err.stack);
 });
 
 // Compute a nice set of colors using a gradient
diff --git a/tests/compiler/mandelbrot.optimized.wat b/tests/compiler/mandelbrot.optimized.wat
index de26b533..35d67c16 100644
--- a/tests/compiler/mandelbrot.optimized.wat
+++ b/tests/compiler/mandelbrot.optimized.wat
@@ -1,20 +1,21 @@
 (module
  (type $iiiv (func (param i32 i32 i32)))
  (memory $0 1)
- (export "update" (func $../../examples/mandelbrot/assembly/index/update))
+ (export "compute" (func $../../examples/mandelbrot/assembly/index/compute))
  (export "memory" (memory $0))
- (func $../../examples/mandelbrot/assembly/index/update (; 0 ;) (type $iiiv) (param $0 i32) (param $1 i32) (param $2 i32)
-  (local $3 f64)
-  (local $4 f64)
+ (func $../../examples/mandelbrot/assembly/index/compute (; 0 ;) (type $iiiv) (param $0 i32) (param $1 i32) (param $2 i32)
+  (local $3 i32)
+  (local $4 i32)
   (local $5 i32)
-  (local $6 i32)
-  (local $7 i32)
+  (local $6 f64)
+  (local $7 f64)
   (local $8 f64)
   (local $9 f64)
   (local $10 f64)
   (local $11 f64)
   (local $12 f64)
   (local $13 f64)
+  (local $14 f64)
   (set_local $9
    (f64.div
     (f64.convert_u/i32
@@ -42,7 +43,7 @@
   (loop $continue|0
    (if
     (i32.lt_u
-     (get_local $5)
+     (get_local $3)
      (get_local $1)
     )
     (block
@@ -50,20 +51,20 @@
       (f64.mul
        (f64.sub
         (f64.convert_u/i32
-         (get_local $5)
+         (get_local $3)
         )
         (get_local $10)
        )
        (get_local $8)
       )
      )
-     (set_local $6
+     (set_local $4
       (i32.const 0)
      )
      (loop $continue|1
       (if
        (i32.lt_u
-        (get_local $6)
+        (get_local $4)
         (get_local $0)
        )
        (block
@@ -71,83 +72,78 @@
          (f64.mul
           (f64.sub
            (f64.convert_u/i32
-            (get_local $6)
+            (get_local $4)
            )
            (get_local $9)
           )
           (get_local $8)
          )
         )
-        (set_local $7
+        (set_local $5
          (i32.const 0)
         )
         (block $break|2
-         (set_local $3
+         (set_local $6
           (f64.const 0)
          )
-         (set_local $4
+         (set_local $7
           (f64.const 0)
          )
          (loop $continue|2
           (if
            (f64.le
             (f64.add
-             (f64.mul
-              (get_local $3)
-              (get_local $3)
+             (tee_local $13
+              (f64.mul
+               (get_local $6)
+               (get_local $6)
+              )
              )
-             (f64.mul
-              (get_local $4)
-              (get_local $4)
+             (tee_local $14
+              (f64.mul
+               (get_local $7)
+               (get_local $7)
+              )
              )
             )
             (f64.const 4)
            )
            (block
-            (set_local $13
-             (f64.add
-              (f64.sub
-               (f64.mul
-                (get_local $3)
-                (get_local $3)
-               )
-               (f64.mul
-                (get_local $4)
-                (get_local $4)
-               )
-              )
-              (get_local $12)
-             )
-            )
-            (set_local $4
+            (set_local $7
              (f64.add
               (f64.mul
                (f64.mul
                 (f64.const 2)
-                (get_local $3)
+                (get_local $6)
                )
-               (get_local $4)
+               (get_local $7)
               )
               (get_local $11)
              )
             )
-            (set_local $3
-             (get_local $13)
+            (set_local $6
+             (f64.add
+              (f64.sub
+               (get_local $13)
+               (get_local $14)
+              )
+              (get_local $12)
+             )
             )
             (br_if $break|2
              (i32.ge_u
-              (tee_local $7
+              (tee_local $5
                (i32.add
-                (get_local $7)
+                (get_local $5)
                 (i32.const 1)
                )
               )
               (get_local $2)
              )
             )
-            (set_local $7
+            (set_local $5
              (i32.add
-              (get_local $7)
+              (get_local $5)
               (i32.const 1)
              )
             )
@@ -159,22 +155,22 @@
         (i32.store8
          (i32.add
           (i32.mul
-           (get_local $5)
+           (get_local $3)
            (get_local $0)
           )
-          (get_local $6)
+          (get_local $4)
          )
          (i32.div_u
           (i32.mul
-           (get_local $7)
+           (get_local $5)
            (i32.const 255)
           )
           (get_local $2)
          )
         )
-        (set_local $6
+        (set_local $4
          (i32.add
-          (get_local $6)
+          (get_local $4)
           (i32.const 1)
          )
         )
@@ -182,9 +178,9 @@
        )
       )
      )
-     (set_local $5
+     (set_local $3
       (i32.add
-       (get_local $5)
+       (get_local $3)
        (i32.const 1)
       )
      )
diff --git a/tests/compiler/mandelbrot.ts b/tests/compiler/mandelbrot.ts
index a6e0bc8c..10f2d29e 100644
--- a/tests/compiler/mandelbrot.ts
+++ b/tests/compiler/mandelbrot.ts
@@ -1 +1 @@
-export { update } from "../../examples/mandelbrot/assembly/index";
+export { compute } from "../../examples/mandelbrot/assembly/index";
diff --git a/tests/compiler/mandelbrot.untouched.wat b/tests/compiler/mandelbrot.untouched.wat
index de0b2677..de55af91 100644
--- a/tests/compiler/mandelbrot.untouched.wat
+++ b/tests/compiler/mandelbrot.untouched.wat
@@ -2,9 +2,9 @@
  (type $iiiv (func (param i32 i32 i32)))
  (global $HEAP_BASE i32 (i32.const 4))
  (memory $0 1)
- (export "update" (func $../../examples/mandelbrot/assembly/index/update))
+ (export "compute" (func $../../examples/mandelbrot/assembly/index/compute))
  (export "memory" (memory $0))
- (func $../../examples/mandelbrot/assembly/index/update (; 0 ;) (type $iiiv) (param $0 i32) (param $1 i32) (param $2 i32)
+ (func $../../examples/mandelbrot/assembly/index/compute (; 0 ;) (type $iiiv) (param $0 i32) (param $1 i32) (param $2 i32)
   (local $3 f64)
   (local $4 f64)
   (local $5 f64)
@@ -16,6 +16,8 @@
   (local $11 f64)
   (local $12 f64)
   (local $13 f64)
+  (local $14 f64)
+  (local $15 f64)
   (set_local $3
    (f64.div
     (f64.convert_u/i32
@@ -89,12 +91,13 @@
             (set_local $10
              (i32.const 0)
             )
+            (nop)
             (block $break|2
              (block
-              (set_local $11
+              (set_local $13
                (f64.const 0)
               )
-              (set_local $12
+              (set_local $14
                (f64.const 0)
               )
              )
@@ -102,48 +105,46 @@
               (if
                (f64.le
                 (f64.add
-                 (f64.mul
-                  (get_local $11)
-                  (get_local $11)
+                 (tee_local $11
+                  (f64.mul
+                   (get_local $13)
+                   (get_local $13)
+                  )
                  )
-                 (f64.mul
-                  (get_local $12)
-                  (get_local $12)
+                 (tee_local $12
+                  (f64.mul
+                   (get_local $14)
+                   (get_local $14)
+                  )
                  )
                 )
                 (f64.const 4)
                )
                (block
                 (block
-                 (set_local $13
+                 (set_local $15
                   (f64.add
                    (f64.sub
-                    (f64.mul
-                     (get_local $11)
-                     (get_local $11)
-                    )
-                    (f64.mul
-                     (get_local $12)
-                     (get_local $12)
-                    )
+                    (get_local $11)
+                    (get_local $12)
                    )
                    (get_local $9)
                   )
                  )
-                 (set_local $12
+                 (set_local $14
                   (f64.add
                    (f64.mul
                     (f64.mul
                      (f64.const 2)
-                     (get_local $11)
+                     (get_local $13)
                     )
-                    (get_local $12)
+                    (get_local $14)
                    )
                    (get_local $7)
                   )
                  )
-                 (set_local $11
-                  (get_local $13)
+                 (set_local $13
+                  (get_local $15)
                  )
                  (if
                   (i32.ge_u