Fix table64 test

scripts/test/shared.py

diff --git a/scripts/test/shared.py b/scripts/test/shared.py
index 54da594..25e3cc0 100644
--- a/scripts/test/shared.py
+++ b/scripts/test/shared.py
@@ -460,7 +460,7 @@
     'ref_null.wast',     # Requires ref.null wast constants
     'return_call_indirect.wast',  # Requires more precise unreachable validation
     'select.wast',  # Requires ref.null wast constants
-    'table.wast',  # Requires support for table default elements
+    # 'table.wast',  # Requires support for table default elements
     'unreached-invalid.wast',  # Requires more precise unreachable validation
     'array.wast',  # Requires support for table default elements
     'br_if.wast',  # Requires more precise branch validation

src/wasm.h

diff --git a/src/wasm.h b/src/wasm.h
index 605c702..2d20265 100644
--- a/src/wasm.h
+++ b/src/wasm.h
@@ -2419,9 +2419,9 @@
 class Table : public Importable {
 public:
   static const Address::address32_t kPageSize = 1;
-  static const Index kUnlimitedSize = Index(-1);
+  static const uint64_t kUnlimitedSize = -1ull;
   // In wasm32/64, the maximum table size is limited by a 32-bit pointer: 4GB
-  static const Index kMaxSize = Index(-1);
+  static const Index kMaxSize = Index(-1ull);
 
   Address initial = 0;
   Address max = kMaxSize;

src/wasm/wasm-validator.cpp

diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp
index 0a1df50..379ea13 100644
--- a/src/wasm/wasm-validator.cpp
+++ b/src/wasm/wasm-validator.cpp
@@ -4595,9 +4595,13 @@
 
   auto funcref = Type(HeapType::func, Nullable);
   for (auto& table : module.tables) {
-    info.shouldBeTrue(table->initial <= table->max,
-                      "table",
-                      "size minimum must not be greater than maximum");
+    // info.shouldBeTrue(table->initial != 0 || table->initial <= table->max,
+    info.shouldBeTrue(
+      table->initial <= table->max,
+      "table",
+      (std::string("size minimum must not be greater than maximum ") +
+       std::to_string(table->initial) + " " + std::to_string(table->max))
+        .c_str());
     info.shouldBeTrue(
       table->type.isNullable(),
       "table",