(global i32 (i32.const 1__000))