;;; Code for switchstatement.SwitchStatement [type definition]
(type $switchstatement.SwitchStatement.vtable (sub $java.lang.Object.vtable (struct
 (field $$getClassImpl__java_lang_Class (ref $function.$getClassImpl__java_lang_Class))
 (field $m_equals__java_lang_Object__boolean (ref $function.m_equals__java_lang_Object__boolean))
 (field $m_hashCode__int (ref $function.m_hashCode__int))
 (field $m_toString__java_lang_String (ref $function.m_toString__java_lang_String))
 (field $m_main__void (ref $function.m_main__void))
 ))
)
(type $switchstatement.SwitchStatement (sub $java.lang.Object (struct
 (field $vtable (ref $switchstatement.SwitchStatement.vtable))
 (field $itable (ref $itable))
 (field $$systemIdentityHashCode@java.lang.Object (mut i32))
 ))
)

;;; Code for switchstatement.Numbers [type definition]
(type $switchstatement.Numbers.vtable (sub $java.lang.Enum.vtable (struct
 (field $$getClassImpl__java_lang_Class (ref $function.$getClassImpl__java_lang_Class))
 (field $m_equals__java_lang_Object__boolean (ref $function.m_equals__java_lang_Object__boolean))
 (field $m_hashCode__int (ref $function.m_hashCode__int))
 (field $m_toString__java_lang_String (ref $function.m_toString__java_lang_String))
 (field $m_compareTo__java_lang_Object__int (ref $function.m_compareTo__java_lang_Object__int))
 (field $m_getDeclaringClass__java_lang_Class (ref $function.m_getDeclaringClass__java_lang_Class))
 ))
)
(type $switchstatement.Numbers (sub $java.lang.Enum (struct
 (field $vtable (ref $switchstatement.Numbers.vtable))
 (field $itable (ref $switchstatement.Numbers.itable))
 (field $$systemIdentityHashCode@java.lang.Object (mut i32))
 (field $name@java.lang.Enum (mut (ref null $java.lang.String)))
 (field $ordinal@java.lang.Enum (mut i32))
 ))
)

;;; Code for switchstatement.SwitchStatement [imports]

;;; Code for switchstatement.Numbers [imports]

;;; Code for switchstatement.Numbers [static fields]
(global $ONE@switchstatement.Numbers (mut (ref null $switchstatement.Numbers))
 (ref.null $switchstatement.Numbers)
)
(global $TWO@switchstatement.Numbers (mut (ref null $switchstatement.Numbers))
 (ref.null $switchstatement.Numbers)
)
(global $THREE@switchstatement.Numbers (mut (ref null $switchstatement.Numbers))
 (ref.null $switchstatement.Numbers)
)
(global $namesToValuesMap@switchstatement.Numbers (mut (ref null $java.lang.Object))
 (ref.null $java.lang.Object)
)
(global $$class-initialized@switchstatement.Numbers (mut i32)
 (i32.const 0)
)
(global $$class@switchstatement.Numbers (mut (ref null $java.lang.Class))
 (ref.null $java.lang.Class)
)

;;; Code for switchstatement.SwitchStatement [static fields]
(global $$class-initialized@switchstatement.SwitchStatement (mut i32)
 (i32.const 0)
)
(global $$class@switchstatement.SwitchStatement (mut (ref null $java.lang.Class))
 (ref.null $java.lang.Class)
)

;;; Code for switchstatement.Numbers [vtable.init]
(global $switchstatement.Numbers.vtable (ref $switchstatement.Numbers.vtable)
 (struct.new $switchstatement.Numbers.vtable
  (ref.func $$getClassImpl__java_lang_Class@switchstatement.Numbers)
  (ref.func $m_equals__java_lang_Object__boolean@java.lang.Enum)
  (ref.func $m_hashCode__int@java.lang.Enum)
  (ref.func $m_toString__java_lang_String@java.lang.Enum)
  (ref.func $m_compareTo__java_lang_Object__int@java.lang.Enum)
  (ref.func $m_getDeclaringClass__java_lang_Class@java.lang.Enum)
 )
)
(global $java.lang.Comparable.vtable@$switchstatement.Numbers (ref $java.lang.Comparable.vtable)
 (struct.new $java.lang.Comparable.vtable
  (ref.func $m_compareTo__java_lang_Object__int@java.lang.Enum)
 )
)
(global $java.io.Serializable.vtable@$switchstatement.Numbers (ref $java.io.Serializable.vtable)
 (struct.new $java.io.Serializable.vtable
 )
)

;;; Code for switchstatement.SwitchStatement [vtable.init]
(global $switchstatement.SwitchStatement.vtable (ref $switchstatement.SwitchStatement.vtable)
 (struct.new $switchstatement.SwitchStatement.vtable
  (ref.func $$getClassImpl__java_lang_Class@switchstatement.SwitchStatement)
  (ref.func $m_equals__java_lang_Object__boolean@java.lang.Object)
  (ref.func $m_hashCode__int@java.lang.Object)
  (ref.func $m_toString__java_lang_String@java.lang.Object)
  (ref.func $m_main__void@switchstatement.SwitchStatement)
 )
)

;;; Code for switchstatement.SwitchStatement [methods]

;;; SwitchStatement SwitchStatement.$create()
(func $$create__@switchstatement.SwitchStatement
 (result (ref null $switchstatement.SwitchStatement))
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:24:13
 (local $$instance (ref null $switchstatement.SwitchStatement))
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:24:13
  (call $$clinit__void_<once>_@switchstatement.SwitchStatement )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:24:13
  (local.set $$instance (struct.new $switchstatement.SwitchStatement (global.get $switchstatement.SwitchStatement.vtable) (global.get $itable.empty) (i32.const 0)))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:24:13
  (call $$ctor__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $$instance)))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:24:13
  (return (local.get $$instance))
 )
)

;;; void SwitchStatement.$ctor()
(func $$ctor__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:24:13
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:24:13
  (call $$ctor__void_$p_java_lang_Object@java.lang.Object (ref.as_non_null (local.get $this)))
 )
)

;;; void SwitchStatement.main()
(func $m_main__void@switchstatement.SwitchStatement
 (type $function.m_main__void)
 (param $this.untyped (ref $java.lang.Object))
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:25:14
 (local $$expression (ref null $java.lang.Object))
 (local $$expression_1 i32)
 (local $s i32)
 (local $this (ref null $switchstatement.SwitchStatement))
 (local.set $this (ref.cast (ref $switchstatement.SwitchStatement) (local.get $this.untyped)))
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:27:4
  (block $SWITCH.BREAK
   (block
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:27:4
    (local.set $$expression (call $m_checkNotNull__java_lang_Object__java_lang_Object@javaemul.internal.InternalPreconditions (call $$getString_|one|__java_lang_String_<once>_@switchstatement.SwitchStatement )))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:27:4
    (block
     (block
      (block
       (block ;; evaluate expression and jump
        (br_if 0 (call $m_equals__java_lang_Object__boolean@java.lang.String (ref.as_non_null (call $$getString_|one|__java_lang_String_<once>_@switchstatement.SwitchStatement ))(local.get $$expression)))
        (br_if 1 (call $m_equals__java_lang_Object__boolean@java.lang.String (ref.as_non_null (call $$getString_|two|__java_lang_String_<once>_@switchstatement.SwitchStatement ))(local.get $$expression)))
        (br 2)
       )
       ;; case switchstatement.SwitchStatement.$getString_|one|():
      )
      ;; case switchstatement.SwitchStatement.$getString_|two|():
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:30:8
      (br $SWITCH.BREAK)
     )
     ;; default:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:32:8
     (return )
    )
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:36:4
  (block $SWITCH_1.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:36:4
   (block
    (block
     (block
      (block ;; evaluate expression and jump
       (br_table 0 1 2 (i32.sub (i32.const 49) (i32.const 49)))
      )
      ;; case 49:
     )
     ;; case 50:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:39:8
     (br $SWITCH_1.BREAK)
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:41:8
    (return )
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:45:4
  (block $SWITCH_2.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:45:4
   (block
    (block
     (block
      (block
       (block ;; evaluate expression and jump
        (br_table 0 3 3 1 2 3 (i32.sub (i32.const 1) (i32.const -2)))
       )
       ;; case -2:
      )
      ;; case 1:
     )
     ;; case 2:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:49:8
     (br $SWITCH_2.BREAK)
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:51:8
    (return )
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:55:4
  (block $SWITCH_3.BREAK
   (block
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:55:4
    (local.set $$expression_1 (call $m_ordinal__int@java.lang.Enum (ref.as_non_null (block (result (ref null $switchstatement.Numbers))
     (call $$clinit__void_<once>_@switchstatement.Numbers )
     (global.get $ONE@switchstatement.Numbers)
    ))))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:55:4
    (block
     (block
      (block
       (block
        (block ;; evaluate expression and jump
         (br_table 0 1 2 3 (local.get $$expression_1))
        )
        ;; case 0:
       )
       ;; case 1:
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:58:8
       (br $SWITCH_3.BREAK)
      )
      ;; case 2:
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:60:8
      (br $SWITCH_3.BREAK)
     )
     ;; default:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:62:8
     (return )
    )
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:66:4
  (local.set $s (i32.const 1))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:67:4
  (block $SWITCH_4.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:67:4
   (block
    (block
     (block
      (block ;; evaluate expression and jump
       (br_table 0 3 1 3 3 3 3 3 3 3 3 2 3 (i32.sub (local.get $s) (i32.const 1)))
      )
      ;; case 1:
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:69:8
      (local.set $s (i32.extend16_s (i32.add (local.get $s) (i32.const 1))))
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:70:8
      (br $SWITCH_4.BREAK)
     )
     ;; case 3:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:72:8
     (local.set $s (i32.extend16_s (i32.add (local.get $s) (i32.const 1))))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:73:8
     (br $SWITCH_4.BREAK)
    )
    ;; case 12:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:75:8
    (local.set $s (i32.extend16_s (i32.add (local.get $s) (i32.const 1))))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:76:8
    (br $SWITCH_4.BREAK)
   )
  )
 )
)
(elem declare func $m_main__void@switchstatement.SwitchStatement)

;;; void SwitchStatement.testSwitchVariableDeclarations()
(func $m_testSwitchVariableDeclarations__void@switchstatement.SwitchStatement
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:83:22
 (local $unassigned i32)
 (local $unassigned2 i32)
 (local $i i32)
 (local $j i32)
 (local $b i32)
 (local $i_1 i32)
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:84:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:84:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 2 1 2 (i32.sub (i32.const 3) (i32.const 1)))
     )
     ;; case 1:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:86:8
     
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:87:8
     (local.set $i (i32.const 0))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:88:8
     (local.set $j (i32.const 2))
     (local.set $b (i32.add (local.get $j) (i32.const 1)))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:89:8
     (br $SWITCH.BREAK)
    )
    ;; case 3:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:91:8
    (local.set $i (i32.const 3))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:92:8
    (if (call $m_areWasmAssertionsEnabled__boolean@javaemul.internal.Asserts )
     (then
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:92:8
      (call $$assert__boolean__void@javaemul.internal.Asserts (i32.eq (local.get $i) (i32.const 3)))
     )
    )
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:93:8
    (return )
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:96:4
  (block $SWITCH_1.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:96:4
   (block
    (block ;; evaluate expression and jump
     (br_table 0 1 (i32.sub (i32.const 5) (i32.const 5)))
    )
    ;; case 5:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:98:8
    (local.set $i_1 (i32.const 1))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:99:8
    (br $SWITCH_1.BREAK)
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:101:4
  (if (call $m_areWasmAssertionsEnabled__boolean@javaemul.internal.Asserts )
   (then
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:101:4
    (call $$assert__boolean__void@javaemul.internal.Asserts (i32.const 0))
   )
  )
 )
)

;;; void SwitchStatement.testCaseExpressionTypes(char ch, int i, byte b, short s)
(func $m_testCaseExpressionTypes__char__int__byte__short__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $ch i32)
 (param $i i32)
 (param $b i32)
 (param $s i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:104:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:105:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:105:4
   (block
    (block
     (block
      (block
       (block ;; evaluate expression and jump
        (br_if 0 (i32.eq (local.get $ch) (i32.const 97)))
        (br_if 1 (i32.eq (local.get $ch) (i32.const 1)))
        (br_if 2 (i32.eq (local.get $ch) (i32.const 2)))
        (br_if 3 (i32.eq (local.get $ch) (i32.const 3)))
        (br 4)
       )
       ;; case 97:
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:107:8
       (br $SWITCH.BREAK)
      )
      ;; case 1:
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:109:8
      (br $SWITCH.BREAK)
     )
     ;; case 2:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:111:8
     (br $SWITCH.BREAK)
    )
    ;; case 3:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:113:8
    (br $SWITCH.BREAK)
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:116:4
  (block $SWITCH_1.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:116:4
   (block
    (block
     (block
      (block
       (block ;; evaluate expression and jump
        (br_if 0 (i32.eq (local.get $i) (i32.const 97)))
        (br_if 1 (i32.eq (local.get $i) (i32.const 1)))
        (br_if 2 (i32.eq (local.get $i) (i32.const 2)))
        (br_if 3 (i32.eq (local.get $i) (i32.const 3)))
        (br 4)
       )
       ;; case 97:
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:118:8
       (br $SWITCH_1.BREAK)
      )
      ;; case 1:
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:120:8
      (br $SWITCH_1.BREAK)
     )
     ;; case 2:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:122:8
     (br $SWITCH_1.BREAK)
    )
    ;; case 3:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:124:8
    (br $SWITCH_1.BREAK)
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:127:4
  (block $SWITCH_2.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:127:4
   (block
    (block
     (block
      (block
       (block ;; evaluate expression and jump
        (br_if 0 (i32.eq (local.get $b) (i32.const 97)))
        (br_if 1 (i32.eq (local.get $b) (i32.const 1)))
        (br_if 2 (i32.eq (local.get $b) (i32.const 2)))
        (br_if 3 (i32.eq (local.get $b) (i32.const 3)))
        (br 4)
       )
       ;; case 97:
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:129:8
       (br $SWITCH_2.BREAK)
      )
      ;; case 1:
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:131:8
      (br $SWITCH_2.BREAK)
     )
     ;; case 2:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:133:8
     (br $SWITCH_2.BREAK)
    )
    ;; case 3:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:135:8
    (br $SWITCH_2.BREAK)
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:138:4
  (block $SWITCH_3.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:138:4
   (block
    (block
     (block
      (block
       (block ;; evaluate expression and jump
        (br_if 0 (i32.eq (local.get $s) (i32.const 97)))
        (br_if 1 (i32.eq (local.get $s) (i32.const 1)))
        (br_if 2 (i32.eq (local.get $s) (i32.const 2)))
        (br_if 3 (i32.eq (local.get $s) (i32.const 3)))
        (br 4)
       )
       ;; case 97:
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:140:8
       (br $SWITCH_3.BREAK)
      )
      ;; case 1:
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:142:8
      (br $SWITCH_3.BREAK)
     )
     ;; case 2:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:144:8
     (br $SWITCH_3.BREAK)
    )
    ;; case 3:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:146:8
    (br $SWITCH_3.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testBlocksInSwitchCase(int i)
(func $m_testBlocksInSwitchCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:150:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:151:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:151:4
   (block
    (block ;; evaluate expression and jump
     (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
    )
    ;; case 1:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:153:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
    (block
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:155:10
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
    )
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:157:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 3))
    (block
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:159:10
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 4))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:160:10
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 5))
    )
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:162:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testLabelInSwitchCase(int i)
(func $m_testLabelInSwitchCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:166:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:167:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:167:4
   (block
    (block ;; evaluate expression and jump
     (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
    )
    ;; case 1:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:169:8
    (block $LABEL.BREAK
     (loop
      (block $LABEL.CONTINUE
       (block
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:171:10
        (br $LABEL.BREAK)
       )
      )
      (br_if 0 (i32.const 1))
     )
    )
   )
  )
 )
)

;;; void SwitchStatement.testNonFallThroughBreakCase(int i)
(func $m_testNonFallThroughBreakCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:176:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:177:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:177:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
     )
     ;; case 1:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:179:8
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:180:8
     (br $SWITCH.BREAK)
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:182:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:183:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testNonFallThroughBreakOuterCase(int i)
(func $m_testNonFallThroughBreakOuterCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:187:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:188:4
  (block $OUTER_LABEL.BREAK
   (loop
    (block $OUTER_LABEL.CONTINUE
     (block
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:190:6
      (block $SWITCH.BREAK
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:190:6
       (block
        (block
         (block ;; evaluate expression and jump
          (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
         )
         ;; case 1:
         ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:192:10
         (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
         ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:193:10
         (br $OUTER_LABEL.BREAK)
        )
        ;; default:
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:195:10
        (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:196:10
        (br $SWITCH.BREAK)
       )
      )
     )
    )
   )
  )
 )
)

;;; void SwitchStatement.testNonFallThroughContinueCase(int i)
(func $m_testNonFallThroughContinueCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:201:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:202:4
  (block $LOOP.BREAK
   (loop
    (block $LOOP.CONTINUE
     (block
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:203:6
      (block $SWITCH.BREAK
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:203:6
       (block
        (block
         (block ;; evaluate expression and jump
          (br_table 0 1 (i32.sub (local.get $i) (i32.const 3)))
         )
         ;; case 3:
         ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:205:10
         (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
         ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:206:10
         (br $LOOP.CONTINUE)
        )
        ;; default:
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:208:10
        (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:209:10
        (br $SWITCH.BREAK)
       )
      )
     )
    )
   )
  )
 )
)

;;; void SwitchStatement.testNonFallThroughReturnCase(int i)
(func $m_testNonFallThroughReturnCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:214:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:215:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:215:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 1 (i32.sub (local.get $i) (i32.const 4)))
     )
     ;; case 4:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:217:8
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:218:8
     (return )
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:220:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:221:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testNonFallThroughThrowCase(int i)
(func $m_testNonFallThroughThrowCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:225:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:226:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:226:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 1 (i32.sub (local.get $i) (i32.const 5)))
     )
     ;; case 5:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:228:8
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:229:8
     (throw $exception.event (call $m_toJs__java_lang_Throwable__javaemul_internal_ThrowableUtils_JsObject@javaemul.internal.Exceptions (call $$create__@java.lang.RuntimeException )))
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:231:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:232:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testNonFallThroughIfCase(int i)
(func $m_testNonFallThroughIfCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:236:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:237:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:237:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
     )
     ;; case 1:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:239:8
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:240:8
     (if (i32.const 0)
      (then
       (block
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:241:10
        (br $SWITCH.BREAK)
       )
      )(else
       (block
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:243:10
        (br $SWITCH.BREAK)
       )
      )
     )
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:246:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:247:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testNonFallThroughBlockCase(int i)
(func $m_testNonFallThroughBlockCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:251:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:252:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:252:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
     )
     ;; case 1:
     (block
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:255:10
      (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:256:10
      (br $SWITCH.BREAK)
     )
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:259:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:260:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testNonFallThrough_defaultIsNotLast(int i)
(func $m_testNonFallThrough_defaultIsNotLast__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:264:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:265:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:265:4
   (block
    (block
     (block
      (block
       (block ;; evaluate expression and jump
        (br_table 0 1 3 2 (i32.sub (local.get $i) (i32.const 1)))
       )
       ;; case 1:
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:267:8
       (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:268:8
       (br $SWITCH.BREAK)
      )
      ;; case 2:
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:270:8
      (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:271:8
      (br $SWITCH.BREAK)
     )
     ;; default:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:273:8
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 3))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:274:8
     (br $SWITCH.BREAK)
    )
    ;; case 3:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:276:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 4))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:277:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testFallThroughCase(int i)
(func $m_testFallThroughCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:281:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:282:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:282:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
     )
     ;; case 1:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:284:8
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:287:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:288:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testFallThroughBreakInnerCase(int i)
(func $m_testFallThroughBreakInnerCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:292:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:293:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:293:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
     )
     ;; case 1:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:295:8
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:296:8
     (block $INNER_LABEL.BREAK
      (loop
       (block $INNER_LABEL.CONTINUE
        (block
         ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:298:10
         (br $INNER_LABEL.BREAK)
        )
       )
      )
     )
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:302:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:303:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testFallThroughContinueInnerCase(int i)
(func $m_testFallThroughContinueInnerCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:307:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:308:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:308:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
     )
     ;; case 1:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:310:8
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:311:8
     (block $INNER_LABEL.BREAK
      (loop
       (block $INNER_LABEL.CONTINUE
        (block
         ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:313:10
         (br $INNER_LABEL.CONTINUE)
        )
       )
      )
     )
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:317:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:318:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testFallThroughLabeledStatement(int i)
(func $m_testFallThroughLabeledStatement__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:322:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:323:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:323:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
     )
     ;; case 1:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:325:8
     (block $INNER_LABEL.BREAK
      (block
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:327:10
       (if (i32.const 0)
        (then
         (block
          ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:328:12
          (br $INNER_LABEL.BREAK)
         )
        )
       )
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:330:10
       (return )
      )
     )
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:334:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:335:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testFallThroughIfCase(int i)
(func $m_testFallThroughIfCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:339:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:340:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:340:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
     )
     ;; case 1:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:342:8
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:343:8
     (if (i32.const 0)
      (then
       (block
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:344:10
        (br $SWITCH.BREAK)
       )
      )
     )
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:348:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:349:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testFallThroughIfElseCase(int i)
(func $m_testFallThroughIfElseCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:353:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:354:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:354:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
     )
     ;; case 1:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:356:8
     (if (i32.const 1)
      (then
       (block
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:357:10
        (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:358:10
        (br $SWITCH.BREAK)
       )
      )(else
       (block
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:360:10
        (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
       )
      )
     )
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:364:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:365:8
    (br $SWITCH.BREAK)
   )
  )
 )
)

;;; void SwitchStatement.testFallThoughLastCase(int i)
(func $m_testFallThoughLastCase__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:369:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:370:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:370:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 0 1 (i32.sub (local.get $i) (i32.const 1)))
     )
     ;; case 1:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:372:8
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:373:8
     (br $SWITCH.BREAK)
    )
    ;; default:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:375:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
   )
  )
 )
)

;;; void SwitchStatement.testDefaultIsNotLast_fallThrough(int i)
(func $m_testDefaultIsNotLast_fallThrough__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:380:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:381:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:381:4
   (block
    (block
     (block
      (block
       (block ;; evaluate expression and jump
        (br_table 0 1 2 3 2 (i32.sub (local.get $i) (i32.const 1)))
       )
       ;; case 1:
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:383:8
       (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
      )
      ;; case 2:
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:386:8
      (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
     )
     ;; default:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:389:8
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 3))
    )
    ;; case 4:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:392:8
    (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 4))
   )
  )
 )
)

;;; int SwitchStatement.testDefaultNotLast_fallThroughCase(int i)
(func $m_testDefaultNotLast_fallThroughCase__int__int_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 (result i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:397:14
 (local $result i32)
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:398:4
  (local.set $result (i32.const 0))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:399:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:399:4
   (block
    (block
     (block
      (block ;; evaluate expression and jump
       (br_table 0 1 2 1 (i32.sub (local.get $i) (i32.const 1)))
      )
      ;; case 1:
     )
     ;; default:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:403:8
     (local.set $result (i32.add (local.get $result) (i32.const 10)))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:404:8
     (br $SWITCH.BREAK)
    )
    ;; case 3:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:406:8
    (local.set $result (i32.add (local.get $result) (i32.const 100)))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:407:8
    (br $SWITCH.BREAK)
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:409:4
  (return (local.get $result))
 )
)

;;; int SwitchStatement.testDefaultNotLast_fallThroughDefault(int i)
(func $m_testDefaultNotLast_fallThroughDefault__int__int_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 (result i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:412:14
 (local $result i32)
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:413:4
  (local.set $result (i32.const 0))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:414:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:414:4
   (block
    (block
     (block
      (block ;; evaluate expression and jump
       (br_table 0 1 2 1 (i32.sub (local.get $i) (i32.const 1)))
      )
      ;; case 1:
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:416:8
      (local.set $result (i32.add (local.get $result) (i32.const 10)))
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:417:8
      (br $SWITCH.BREAK)
     )
     ;; default:
    )
    ;; case 3:
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:421:8
    (local.set $result (i32.add (local.get $result) (i32.const 100)))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:422:8
    (br $SWITCH.BREAK)
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:424:4
  (return (local.get $result))
 )
)

;;; int SwitchStatement.testNonExhaustive(Numbers numbers)
(func $m_testNonExhaustive__switchstatement_Numbers__int_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $numbers (ref null $switchstatement.Numbers))
 (result i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:427:14
 (local $$expression i32)
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:428:4
  (block $SWITCH.BREAK
   (block
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:428:4
    (local.set $$expression (call $m_ordinal__int@java.lang.Enum (ref.as_non_null (local.get $numbers))))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:428:4
    (block
     (block
      (block ;; evaluate expression and jump
       (br_table 0 1 2 (local.get $$expression))
      )
      ;; case 0:
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:430:8
      (return (i32.const 1))
     )
     ;; case 1:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:432:8
     (return (i32.const 2))
    )
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:434:4
  (return (i32.const 3))
 )
)

;;; void SwitchStatement.testNonExhaustive_fallThrough(Numbers numbers)
(func $m_testNonExhaustive_fallThrough__switchstatement_Numbers__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $numbers (ref null $switchstatement.Numbers))
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:437:15
 (local $$expression i32)
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:438:4
  (block $SWITCH.BREAK
   (block
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:438:4
    (local.set $$expression (call $m_ordinal__int@java.lang.Enum (ref.as_non_null (local.get $numbers))))
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:438:4
    (block
     (block
      (block ;; evaluate expression and jump
       (br_table 0 1 2 (local.get $$expression))
      )
      ;; case 0:
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:440:8
      (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 1))
     )
     ;; case 1:
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:443:8
     (call $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement (ref.as_non_null (local.get $this))(i32.const 2))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:444:8
     (br $SWITCH.BREAK)
    )
   )
  )
 )
)

;;; void SwitchStatement.testNonExhaustive_foldableFallThrough(int i)
(func $m_testNonExhaustive_foldableFallThrough__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:448:15
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:449:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:449:4
   (block
    (block
     (block
      (block
       (block
        (block
         (block
          (block ;; evaluate expression and jump
           (br_table 0 1 2 3 5 6 4 (i32.sub (local.get $i) (i32.const 1)))
          )
          ;; case 1:
         )
         ;; case 2:
        )
        ;; case 3:
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:453:8
        (br $SWITCH.BREAK)
       )
       ;; case 4:
      )
      ;; default:
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:456:8
      (br $SWITCH.BREAK)
     )
     ;; case 5:
    )
    ;; case 6:
   )
  )
 )
)

;;; void SwitchStatement.testSwitchStatement_withRules()
(func $m_testSwitchStatement_withRules__void@switchstatement.SwitchStatement
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:462:22
 (local $o i32)
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:463:4
  (local.set $o (i32.const 0))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:464:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:464:4
   (block
    (block
     (block ;; evaluate expression and jump
      (br_table 1 0 (i32.sub (i32.const 1) (i32.const 2)))
     )
     ;; default:
     (block
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:465:17
      (br $SWITCH.BREAK)
     )
    )
    ;; case 2:
    (block
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:466:16
     (br $SWITCH.BREAK)
    )
   )
  )
 )
)

;;; int SwitchStatement.testDefaultNotLast_withRules(int i, boolean doBreak)
(func $m_testDefaultNotLast_withRules__int__boolean__int@switchstatement.SwitchStatement
 (param $i i32)
 (param $doBreak i32)
 (result i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:470:21
 (local $result i32)
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:471:4
  (local.set $result (i32.const 0))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:472:4
  (block $SWITCH.BREAK
   ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:472:4
   (block
    (block
     (block
      (block
       (block
        (block ;; evaluate expression and jump
         (br_table 0 1 3 4 2 (i32.sub (local.get $i) (i32.const 1)))
        )
        ;; case 1:
        (block
         ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:474:8
         (local.set $result (i32.const 1))
         ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:475:8
         (if (local.get $doBreak)
          (then
           (block
            ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:476:10
            (br $SWITCH.BREAK)
           )
          )
         )
         ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:478:8
         (local.set $result (i32.const 2))
         ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:479:5
         (br $SWITCH.BREAK)
        )
       )
       ;; case 2:
       (block
        ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:480:16
        (br $SWITCH.BREAK)
       )
      )
      ;; default:
      (block
       ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:481:17
       (br $SWITCH.BREAK)
      )
     )
     ;; case 3:
     (block
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:483:8
      (local.set $result (i32.const 3))
      ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:484:5
      (br $SWITCH.BREAK)
     )
    )
    ;; case 4:
    (block
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:485:16
     (drop (call $m_foo__int@switchstatement.SwitchStatement ))
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:485:16
     (br $SWITCH.BREAK)
    )
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:487:4
  (return (local.get $result))
 )
)

;;; int SwitchStatement.foo()
(func $m_foo__int@switchstatement.SwitchStatement
 (result i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:490:21
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:491:4
  (return (i32.const 1))
 )
)

;;; void SwitchStatement.foo(int i)
(func $m_foo__int__void_$p_switchstatement_SwitchStatement@switchstatement.SwitchStatement
 (param $this (ref null $switchstatement.SwitchStatement))
 (param $i i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:494:15
 (block
 )
)

;;; void SwitchStatement.$clinit()
(func $$clinit__void_<once>_@switchstatement.SwitchStatement
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:24:13
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:24:13
  (if (global.get $$class-initialized@switchstatement.SwitchStatement)
   (then
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:24:13
    (return )
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:24:13
  (global.set $$class-initialized@switchstatement.SwitchStatement (i32.const 1))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:24:13
  (call $$clinit__void_<once>_@java.lang.Object )
 )
)

;;; Class<T> SwitchStatement.$getClassMetadata()
(func $$getClassMetadata__java_lang_Class_<once>_@switchstatement.SwitchStatement
 (result (ref null $java.lang.Class))
 (block
  (if (i32.eqz (ref.is_null (global.get $$class@switchstatement.SwitchStatement)))
   (then
    (return (global.get $$class@switchstatement.SwitchStatement))
   )
  )
  (global.set $$class@switchstatement.SwitchStatement (call $m_createForClass__java_lang_String__java_lang_Class__java_lang_Class@java.lang.Class (call $$getString_|switchstatem...|__java_lang_String_<once>_@switchstatement.SwitchStatement )(call $$getClassMetadata__java_lang_Class_<once>_@java.lang.Object )))
  (return (global.get $$class@switchstatement.SwitchStatement))
 )
)

;;; Class<?> SwitchStatement.$getClassImpl()
(func $$getClassImpl__java_lang_Class@switchstatement.SwitchStatement
 (type $function.$getClassImpl__java_lang_Class)
 (param $this.untyped (ref $java.lang.Object))
 (result (ref null $java.lang.Class))
 (local $this (ref null $switchstatement.SwitchStatement))
 (local.set $this (ref.cast (ref $switchstatement.SwitchStatement) (local.get $this.untyped)))
 (block
  (return (call $$getClassMetadata__java_lang_Class_<once>_@switchstatement.SwitchStatement ))
 )
)
(elem declare func $$getClassImpl__java_lang_Class@switchstatement.SwitchStatement)

;;; Code for switchstatement.Numbers [methods]

;;; Numbers Numbers.$create(String $name, int $ordinal)
(func $$create__java_lang_String__int@switchstatement.Numbers
 (param $$name (ref null $java.lang.String))
 (param $$ordinal i32)
 (result (ref null $switchstatement.Numbers))
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
 (local $$instance (ref null $switchstatement.Numbers))
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (local.set $$instance (struct.new $switchstatement.Numbers (global.get $switchstatement.Numbers.vtable) (global.get $switchstatement.Numbers.itable) (i32.const 0) (ref.null $java.lang.String) (i32.const 0)))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (call $$ctor__java_lang_String__int__void_$p_switchstatement_Numbers@switchstatement.Numbers (ref.as_non_null (local.get $$instance))(local.get $$name)(local.get $$ordinal))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (return (local.get $$instance))
 )
)

;;; void Numbers.$ctor(String $name, int $ordinal)
(func $$ctor__java_lang_String__int__void_$p_switchstatement_Numbers@switchstatement.Numbers
 (param $this (ref null $switchstatement.Numbers))
 (param $$name (ref null $java.lang.String))
 (param $$ordinal i32)
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (struct.set $java.lang.Enum $name@java.lang.Enum (local.get $this) (local.get $$name))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (struct.set $java.lang.Enum $ordinal@java.lang.Enum (local.get $this) (local.get $$ordinal))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (call $$ctor__java_lang_String__int__void_$p_java_lang_Enum@java.lang.Enum (ref.as_non_null (local.get $this))(local.get $$name)(local.get $$ordinal))
 )
)

;;; Numbers Numbers.valueOf(String name)
(func $m_valueOf__java_lang_String__switchstatement_Numbers@switchstatement.Numbers
 (param $name (ref null $java.lang.String))
 (result (ref null $switchstatement.Numbers))
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (call $$clinit__void_<once>_@switchstatement.Numbers )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (if (ref.is_null (global.get $namesToValuesMap@switchstatement.Numbers))
   (then
    (block
     ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
     (global.set $namesToValuesMap@switchstatement.Numbers (call $m_createMapFromValues__arrayOf_java_lang_Enum__java_util_Map@javaemul.internal.Enums (call $m_values_$private__arrayOf_switchstatement_Numbers@switchstatement.Numbers )))
    )
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (return (ref.cast (ref null $switchstatement.Numbers) (call $m_getValueFromNameAndMap__java_lang_String__java_util_Map__java_lang_Object@javaemul.internal.Enums (local.get $name)(global.get $namesToValuesMap@switchstatement.Numbers))))
 )
)

;;; Numbers[] Numbers.values()
(func $m_values__arrayOf_switchstatement_Numbers@switchstatement.Numbers
 (result (ref null $javaemul.internal.WasmArray.OfObject))
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (call $$clinit__void_<once>_@switchstatement.Numbers )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (return (call $m_values_$private__arrayOf_switchstatement_Numbers@switchstatement.Numbers ))
 )
)

;;; Numbers[] Numbers.values_$private()
(func $m_values_$private__arrayOf_switchstatement_Numbers@switchstatement.Numbers
 (result (ref null $javaemul.internal.WasmArray.OfObject))
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (return (call $m_newWithLiteral__arrayOf_java_lang_Object__javaemul_internal_WasmArray_OfObject@javaemul.internal.WasmArray.OfObject (array.new_fixed $java.lang.Object.array 3 (global.get $ONE@switchstatement.Numbers)(global.get $TWO@switchstatement.Numbers)(global.get $THREE@switchstatement.Numbers))))
 )
)

;;; void Numbers.$clinit()
(func $$clinit__void_<once>_@switchstatement.Numbers
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (if (global.get $$class-initialized@switchstatement.Numbers)
   (then
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
    (return )
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (global.set $$class-initialized@switchstatement.Numbers (i32.const 1))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:18:5
  (call $$clinit__void_<once>_@java.lang.Enum )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:19:2
  (global.set $ONE@switchstatement.Numbers (call $$create__java_lang_String__int@switchstatement.Numbers (call $$getString_|ONE|__java_lang_String_<once>_@switchstatement.Numbers )(i32.const 0)))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:20:2
  (global.set $TWO@switchstatement.Numbers (call $$create__java_lang_String__int@switchstatement.Numbers (call $$getString_|TWO|__java_lang_String_<once>_@switchstatement.Numbers )(i32.const 1)))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/switchstatement/readable-j2wasm.js/switchstatement/SwitchStatement.java:21:2
  (global.set $THREE@switchstatement.Numbers (call $$create__java_lang_String__int@switchstatement.Numbers (call $$getString_|THREE|__java_lang_String_<once>_@switchstatement.Numbers )(i32.const 2)))
 )
)

;;; Class<T> Numbers.$getClassMetadata()
(func $$getClassMetadata__java_lang_Class_<once>_@switchstatement.Numbers
 (result (ref null $java.lang.Class))
 (block
  (if (i32.eqz (ref.is_null (global.get $$class@switchstatement.Numbers)))
   (then
    (return (global.get $$class@switchstatement.Numbers))
   )
  )
  (global.set $$class@switchstatement.Numbers (call $m_createForEnum__java_lang_String__java_lang_Class@java.lang.Class (call $$getString_|switchstatem...|__java_lang_String_<once>_@switchstatement.Numbers )))
  (return (global.get $$class@switchstatement.Numbers))
 )
)

;;; Class<?> Numbers.$getClassImpl()
(func $$getClassImpl__java_lang_Class@switchstatement.Numbers
 (type $function.$getClassImpl__java_lang_Class)
 (param $this.untyped (ref $java.lang.Object))
 (result (ref null $java.lang.Class))
 (local $this (ref null $switchstatement.Numbers))
 (local.set $this (ref.cast (ref $switchstatement.Numbers) (local.get $this.untyped)))
 (block
  (return (call $$getClassMetadata__java_lang_Class_<once>_@switchstatement.Numbers ))
 )
)
(elem declare func $$getClassImpl__java_lang_Class@switchstatement.Numbers)
