(module
  (type (;0;) (func (result i32)))
  (type (;1;) (func (result i64)))
  (type (;2;) (func (result f32)))
  (type (;3;) (func (result f64)))
  (type (;4;) (func (result externref)))
  (type (;5;) (func (result v128)))
  (global $i32_value (;0;) i32 i32.const 1001)
  (global $i32_mut_value (;1;) (mut i32) i32.const 2001)
  (global $i64_value (;2;) i64 i64.const 10000000001)
  (global $i64_mut_value (;3;) (mut i64) i64.const 20000000001)
  (global $f32_value (;4;) f32 f32.const 0x1.4051ecp+3 (;=10.01;))
  (global $f32_mut_value (;5;) (mut f32) f32.const 0x1.4028f6p+4 (;=20.01;))
  (global $f64_value (;6;) f64 f64.const 0x1.90001a36e2eb2p+6 (;=100.0001;))
  (global $f64_mut_value (;7;) (mut f64) f64.const 0x1.90000d1b71759p+7 (;=200.0001;))
  (global $externref_value (;8;) externref ref.null extern)
  (global $externref_mut_value (;9;) (mut externref) ref.null extern)
  (global $v128_value (;10;) v128 v128.const i32x4 0x0000000a 0x00000014 0x0000001e 0x00000028)
  (global $v128_mut_value (;11;) (mut v128) v128.const i32x4 0x00000032 0x0000003c 0x00000046 0x00000050)
  (export "i32_value" (global $i32_value))
  (export "i32_mut_value" (global $i32_mut_value))
  (export "i64_value" (global $i64_value))
  (export "i64_mut_value" (global $i64_mut_value))
  (export "f32_value" (global $f32_value))
  (export "f32_mut_value" (global $f32_mut_value))
  (export "f64_value" (global $f64_value))
  (export "f64_mut_value" (global $f64_mut_value))
  (export "externref_value" (global $externref_value))
  (export "externref_mut_value" (global $externref_mut_value))
  (export "v128_value" (global $v128_value))
  (export "v128_mut_value" (global $v128_mut_value))
)