| (module | |
| (import "foo" "i32_global" (global i32)) | |
| (import "foo" "i64_global" (global i64)) | |
| (import "foo" "f32_global" (global f32)) | |
| (import "foo" "f64_global" (global f64)) | |
| (global i32 (i32.const 1)) | |
| (global i64 (i64.const 2)) | |
| (global f32 (f32.const 3)) | |
| (global f64 (f64.const 4)) | |
| (global i32 (get_global 0)) | |
| (global i64 (get_global 1)) | |
| (global f32 (get_global 2)) | |
| (global f64 (get_global 3))) |