(module (global $a i32 (i32.const -2)) (global f32 (f32.const -3)) (global f64 (f64.const -4)) (global $b i64 (i64.const -5)) (global $x (mut i32) (i32.const -12)) (global (mut f32) (f32.const -13)) (global (mut f64) (f64.const -14)) (global $y (mut i64) (i64.const -15)) )