(global i32 (i32.const 0xff__ffff))