(global i64 (i64.const 0xff__ffff))