(global i64 (i64.const 1__000))