From a81c72df5ae5a3eeebe7ec1d10f088e7093b53a2 Mon Sep 17 00:00:00 2001
From: stevenfontanella <stevenfont@chromium.org>
Date: Tue, 14 Jul 2026 17:47:02 +0000
Subject: [PATCH] Update binary encoding

---
 scripts/test/generate_atomic_spec_test.py |   4 +-
 src/wasm-binary.h                         |   4 +-
 test/spec/relaxed-atomics.wast            | 756 +++++++++++-----------
 3 files changed, 382 insertions(+), 382 deletions(-)

diff --git a/scripts/test/generate_atomic_spec_test.py b/scripts/test/generate_atomic_spec_test.py
index e3acdfcd4f0..d5d9d3a4e70 100644
--- a/scripts/test/generate_atomic_spec_test.py
+++ b/scripts/test/generate_atomic_spec_test.py
@@ -225,9 +225,9 @@ def bin_statement_lines(template: Template, mem_idx: int, mem_ptr_type: ValueTyp
     has_ordering = ordering is not None
     has_mem_idx = mem_idx is not None
     raw_alignment = int(math.log2(mem_ptr_type.value // 8))
-    alignment = raw_alignment | (has_ordering << 5) | (has_mem_idx << 6)
+    alignment = raw_alignment | (has_ordering << 4) | (has_mem_idx << 6)
     comment = f"Alignment of {raw_alignment}" \
-              f'{" with bit 5 set indicating that an ordering immediate follows" if has_ordering else ""}' \
+              f'{" with bit 4 set indicating that an ordering immediate follows" if has_ordering else ""}' \
               f'{" and" if has_ordering and has_mem_idx else ""}' \
               f'{" with bit 6 set indicating that a memory index immediate follows" if has_mem_idx else ""}'
 
diff --git a/src/wasm-binary.h b/src/wasm-binary.h
index ab5aba63fda..c0be0a65479 100644
--- a/src/wasm-binary.h
+++ b/src/wasm-binary.h
@@ -364,8 +364,8 @@ enum BrOnCastFlag {
 
 constexpr uint32_t ExactImport = 1 << 5;
 
-constexpr uint32_t HasBackingArrayMask = 1 << 4;
-constexpr uint32_t HasMemoryOrderMask = 1 << 5;
+constexpr uint32_t HasMemoryOrderMask = 1 << 4;
+constexpr uint32_t HasBackingArrayMask = 1 << 5;
 constexpr uint32_t HasMemoryIndexMask = 1 << 6;
 
 constexpr uint8_t HasTableInitializer = 0x40;
diff --git a/test/spec/relaxed-atomics.wast b/test/spec/relaxed-atomics.wast
index 3c0d2cf914e..73e0b4b00bb 100644
--- a/test/spec/relaxed-atomics.wast
+++ b/test/spec/relaxed-atomics.wast
@@ -605,14 +605,14 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\10" ;; i32.atomic.load
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
 
     "\41\00" ;; (i32.const 0)
     "\fe\10" ;; i32.atomic.load
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -626,7 +626,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\10" ;; i32.atomic.load
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -634,7 +634,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\10" ;; i32.atomic.load
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -649,7 +649,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\10" ;; i32.atomic.load
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -657,7 +657,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\10" ;; i32.atomic.load
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -671,14 +671,14 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\11" ;; i64.atomic.load
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
 
     "\41\00" ;; (i32.const 0)
     "\fe\11" ;; i64.atomic.load
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -692,7 +692,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\11" ;; i64.atomic.load
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -700,7 +700,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\11" ;; i64.atomic.load
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -715,7 +715,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\11" ;; i64.atomic.load
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -723,7 +723,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\11" ;; i64.atomic.load
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -737,14 +737,14 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\12" ;; i32.atomic.load8_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
 
     "\41\00" ;; (i32.const 0)
     "\fe\12" ;; i32.atomic.load8_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -758,7 +758,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\12" ;; i32.atomic.load8_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -766,7 +766,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\12" ;; i32.atomic.load8_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -781,7 +781,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\12" ;; i32.atomic.load8_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -789,7 +789,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\12" ;; i32.atomic.load8_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -803,14 +803,14 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\13" ;; i32.atomic.load16_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
 
     "\41\00" ;; (i32.const 0)
     "\fe\13" ;; i32.atomic.load16_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -824,7 +824,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\13" ;; i32.atomic.load16_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -832,7 +832,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\13" ;; i32.atomic.load16_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -847,7 +847,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\13" ;; i32.atomic.load16_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -855,7 +855,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\13" ;; i32.atomic.load16_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -869,14 +869,14 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\14" ;; i64.atomic.load8_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
 
     "\41\00" ;; (i32.const 0)
     "\fe\14" ;; i64.atomic.load8_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -890,7 +890,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\14" ;; i64.atomic.load8_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -898,7 +898,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\14" ;; i64.atomic.load8_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -913,7 +913,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\14" ;; i64.atomic.load8_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -921,7 +921,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\14" ;; i64.atomic.load8_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -935,14 +935,14 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\15" ;; i64.atomic.load16_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
 
     "\41\00" ;; (i32.const 0)
     "\fe\15" ;; i64.atomic.load16_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -956,7 +956,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\15" ;; i64.atomic.load16_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -964,7 +964,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\15" ;; i64.atomic.load16_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -979,7 +979,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\15" ;; i64.atomic.load16_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -987,7 +987,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\15" ;; i64.atomic.load16_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1001,14 +1001,14 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\16" ;; i64.atomic.load32_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
 
     "\41\00" ;; (i32.const 0)
     "\fe\16" ;; i64.atomic.load32_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1022,7 +1022,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\16" ;; i64.atomic.load32_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1030,7 +1030,7 @@
 
     "\41\00" ;; (i32.const 0)
     "\fe\16" ;; i64.atomic.load32_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1045,7 +1045,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\16" ;; i64.atomic.load32_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1053,7 +1053,7 @@
 
     "\42\00" ;; (i64.const 0)
     "\fe\16" ;; i64.atomic.load32_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1068,14 +1068,14 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\17" ;; i32.atomic.store
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
 
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\17" ;; i32.atomic.store
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
 
@@ -1089,7 +1089,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\17" ;; i32.atomic.store
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1097,7 +1097,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\17" ;; i32.atomic.store
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1112,7 +1112,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\17" ;; i32.atomic.store
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1120,7 +1120,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\17" ;; i32.atomic.store
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1134,14 +1134,14 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\18" ;; i64.atomic.store
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
 
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\18" ;; i64.atomic.store
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
 
@@ -1155,7 +1155,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\18" ;; i64.atomic.store
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1163,7 +1163,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\18" ;; i64.atomic.store
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1178,7 +1178,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\18" ;; i64.atomic.store
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1186,7 +1186,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\18" ;; i64.atomic.store
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1200,14 +1200,14 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\19" ;; i32.atomic.store8
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
 
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\19" ;; i32.atomic.store8
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
 
@@ -1221,7 +1221,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\19" ;; i32.atomic.store8
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1229,7 +1229,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\19" ;; i32.atomic.store8
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1244,7 +1244,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\19" ;; i32.atomic.store8
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1252,7 +1252,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\19" ;; i32.atomic.store8
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1266,14 +1266,14 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\1a" ;; i32.atomic.store16
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
 
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\1a" ;; i32.atomic.store16
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
 
@@ -1287,7 +1287,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\1a" ;; i32.atomic.store16
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1295,7 +1295,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\1a" ;; i32.atomic.store16
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1310,7 +1310,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\1a" ;; i32.atomic.store16
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1318,7 +1318,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\1a" ;; i32.atomic.store16
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1332,14 +1332,14 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1b" ;; i64.atomic.store8
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
 
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1b" ;; i64.atomic.store8
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
 
@@ -1353,7 +1353,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1b" ;; i64.atomic.store8
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1361,7 +1361,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1b" ;; i64.atomic.store8
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1376,7 +1376,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1b" ;; i64.atomic.store8
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1384,7 +1384,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1b" ;; i64.atomic.store8
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1398,14 +1398,14 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1c" ;; i64.atomic.store16
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
 
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1c" ;; i64.atomic.store16
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
 
@@ -1419,7 +1419,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1c" ;; i64.atomic.store16
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1427,7 +1427,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1c" ;; i64.atomic.store16
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1442,7 +1442,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1c" ;; i64.atomic.store16
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1450,7 +1450,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1c" ;; i64.atomic.store16
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1464,14 +1464,14 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1d" ;; i64.atomic.store32
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
 
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1d" ;; i64.atomic.store32
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
 
@@ -1485,7 +1485,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1d" ;; i64.atomic.store32
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1493,7 +1493,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1d" ;; i64.atomic.store32
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1508,7 +1508,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1d" ;; i64.atomic.store32
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\01" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1516,7 +1516,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1d" ;; i64.atomic.store32
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1531,7 +1531,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\1e" ;; i32.atomic.rmw.add
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1539,7 +1539,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\1e" ;; i32.atomic.rmw.add
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1555,7 +1555,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\1e" ;; i32.atomic.rmw.add
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1564,7 +1564,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\1e" ;; i32.atomic.rmw.add
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1581,7 +1581,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\1e" ;; i32.atomic.rmw.add
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1590,7 +1590,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\1e" ;; i32.atomic.rmw.add
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1606,7 +1606,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1f" ;; i64.atomic.rmw.add
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1614,7 +1614,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1f" ;; i64.atomic.rmw.add
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1630,7 +1630,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1f" ;; i64.atomic.rmw.add
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1639,7 +1639,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1f" ;; i64.atomic.rmw.add
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1656,7 +1656,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1f" ;; i64.atomic.rmw.add
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1665,7 +1665,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\1f" ;; i64.atomic.rmw.add
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1681,7 +1681,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\20" ;; i32.atomic.rmw8.add_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1689,7 +1689,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\20" ;; i32.atomic.rmw8.add_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1705,7 +1705,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\20" ;; i32.atomic.rmw8.add_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1714,7 +1714,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\20" ;; i32.atomic.rmw8.add_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1731,7 +1731,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\20" ;; i32.atomic.rmw8.add_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1740,7 +1740,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\20" ;; i32.atomic.rmw8.add_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1756,7 +1756,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\21" ;; i32.atomic.rmw16.add_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1764,7 +1764,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\21" ;; i32.atomic.rmw16.add_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1780,7 +1780,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\21" ;; i32.atomic.rmw16.add_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1789,7 +1789,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\21" ;; i32.atomic.rmw16.add_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1806,7 +1806,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\21" ;; i32.atomic.rmw16.add_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1815,7 +1815,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\21" ;; i32.atomic.rmw16.add_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1831,7 +1831,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\22" ;; i64.atomic.rmw8.add_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1839,7 +1839,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\22" ;; i64.atomic.rmw8.add_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1855,7 +1855,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\22" ;; i64.atomic.rmw8.add_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1864,7 +1864,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\22" ;; i64.atomic.rmw8.add_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1881,7 +1881,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\22" ;; i64.atomic.rmw8.add_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1890,7 +1890,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\22" ;; i64.atomic.rmw8.add_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1906,7 +1906,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\23" ;; i64.atomic.rmw16.add_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1914,7 +1914,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\23" ;; i64.atomic.rmw16.add_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1930,7 +1930,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\23" ;; i64.atomic.rmw16.add_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1939,7 +1939,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\23" ;; i64.atomic.rmw16.add_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1956,7 +1956,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\23" ;; i64.atomic.rmw16.add_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -1965,7 +1965,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\23" ;; i64.atomic.rmw16.add_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -1981,7 +1981,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\24" ;; i64.atomic.rmw32.add_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -1989,7 +1989,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\24" ;; i64.atomic.rmw32.add_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2005,7 +2005,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\24" ;; i64.atomic.rmw32.add_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2014,7 +2014,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\24" ;; i64.atomic.rmw32.add_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2031,7 +2031,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\24" ;; i64.atomic.rmw32.add_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2040,7 +2040,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\24" ;; i64.atomic.rmw32.add_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2056,7 +2056,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\25" ;; i32.atomic.rmw.sub
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2064,7 +2064,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\25" ;; i32.atomic.rmw.sub
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2080,7 +2080,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\25" ;; i32.atomic.rmw.sub
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2089,7 +2089,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\25" ;; i32.atomic.rmw.sub
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2106,7 +2106,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\25" ;; i32.atomic.rmw.sub
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2115,7 +2115,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\25" ;; i32.atomic.rmw.sub
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2131,7 +2131,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\26" ;; i64.atomic.rmw.sub
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2139,7 +2139,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\26" ;; i64.atomic.rmw.sub
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2155,7 +2155,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\26" ;; i64.atomic.rmw.sub
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2164,7 +2164,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\26" ;; i64.atomic.rmw.sub
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2181,7 +2181,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\26" ;; i64.atomic.rmw.sub
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2190,7 +2190,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\26" ;; i64.atomic.rmw.sub
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2206,7 +2206,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\27" ;; i32.atomic.rmw8.sub_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2214,7 +2214,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\27" ;; i32.atomic.rmw8.sub_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2230,7 +2230,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\27" ;; i32.atomic.rmw8.sub_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2239,7 +2239,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\27" ;; i32.atomic.rmw8.sub_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2256,7 +2256,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\27" ;; i32.atomic.rmw8.sub_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2265,7 +2265,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\27" ;; i32.atomic.rmw8.sub_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2281,7 +2281,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\28" ;; i32.atomic.rmw16.sub_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2289,7 +2289,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\28" ;; i32.atomic.rmw16.sub_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2305,7 +2305,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\28" ;; i32.atomic.rmw16.sub_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2314,7 +2314,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\28" ;; i32.atomic.rmw16.sub_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2331,7 +2331,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\28" ;; i32.atomic.rmw16.sub_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2340,7 +2340,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\28" ;; i32.atomic.rmw16.sub_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2356,7 +2356,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\29" ;; i64.atomic.rmw8.sub_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2364,7 +2364,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\29" ;; i64.atomic.rmw8.sub_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2380,7 +2380,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\29" ;; i64.atomic.rmw8.sub_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2389,7 +2389,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\29" ;; i64.atomic.rmw8.sub_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2406,7 +2406,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\29" ;; i64.atomic.rmw8.sub_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2415,7 +2415,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\29" ;; i64.atomic.rmw8.sub_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2431,7 +2431,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2a" ;; i64.atomic.rmw16.sub_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2439,7 +2439,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2a" ;; i64.atomic.rmw16.sub_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2455,7 +2455,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2a" ;; i64.atomic.rmw16.sub_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2464,7 +2464,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2a" ;; i64.atomic.rmw16.sub_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2481,7 +2481,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2a" ;; i64.atomic.rmw16.sub_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2490,7 +2490,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2a" ;; i64.atomic.rmw16.sub_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2506,7 +2506,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2b" ;; i64.atomic.rmw32.sub_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2514,7 +2514,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2b" ;; i64.atomic.rmw32.sub_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2530,7 +2530,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2b" ;; i64.atomic.rmw32.sub_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2539,7 +2539,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2b" ;; i64.atomic.rmw32.sub_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2556,7 +2556,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2b" ;; i64.atomic.rmw32.sub_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2565,7 +2565,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2b" ;; i64.atomic.rmw32.sub_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2581,7 +2581,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2c" ;; i32.atomic.rmw.and
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2589,7 +2589,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2c" ;; i32.atomic.rmw.and
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2605,7 +2605,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2c" ;; i32.atomic.rmw.and
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2614,7 +2614,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2c" ;; i32.atomic.rmw.and
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2631,7 +2631,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2c" ;; i32.atomic.rmw.and
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2640,7 +2640,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2c" ;; i32.atomic.rmw.and
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2656,7 +2656,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2d" ;; i64.atomic.rmw.and
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2664,7 +2664,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2d" ;; i64.atomic.rmw.and
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2680,7 +2680,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2d" ;; i64.atomic.rmw.and
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2689,7 +2689,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2d" ;; i64.atomic.rmw.and
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2706,7 +2706,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2d" ;; i64.atomic.rmw.and
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2715,7 +2715,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\2d" ;; i64.atomic.rmw.and
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2731,7 +2731,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2e" ;; i32.atomic.rmw8.and_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2739,7 +2739,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2e" ;; i32.atomic.rmw8.and_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2755,7 +2755,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2e" ;; i32.atomic.rmw8.and_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2764,7 +2764,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2e" ;; i32.atomic.rmw8.and_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2781,7 +2781,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2e" ;; i32.atomic.rmw8.and_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2790,7 +2790,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2e" ;; i32.atomic.rmw8.and_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2806,7 +2806,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2f" ;; i32.atomic.rmw16.and_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2814,7 +2814,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2f" ;; i32.atomic.rmw16.and_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2830,7 +2830,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2f" ;; i32.atomic.rmw16.and_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2839,7 +2839,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2f" ;; i32.atomic.rmw16.and_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2856,7 +2856,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2f" ;; i32.atomic.rmw16.and_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2865,7 +2865,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\2f" ;; i32.atomic.rmw16.and_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2881,7 +2881,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\30" ;; i64.atomic.rmw8.and_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2889,7 +2889,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\30" ;; i64.atomic.rmw8.and_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2905,7 +2905,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\30" ;; i64.atomic.rmw8.and_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2914,7 +2914,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\30" ;; i64.atomic.rmw8.and_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2931,7 +2931,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\30" ;; i64.atomic.rmw8.and_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2940,7 +2940,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\30" ;; i64.atomic.rmw8.and_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -2956,7 +2956,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\31" ;; i64.atomic.rmw16.and_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2964,7 +2964,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\31" ;; i64.atomic.rmw16.and_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -2980,7 +2980,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\31" ;; i64.atomic.rmw16.and_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -2989,7 +2989,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\31" ;; i64.atomic.rmw16.and_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3006,7 +3006,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\31" ;; i64.atomic.rmw16.and_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3015,7 +3015,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\31" ;; i64.atomic.rmw16.and_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3031,7 +3031,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\32" ;; i64.atomic.rmw32.and_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3039,7 +3039,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\32" ;; i64.atomic.rmw32.and_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3055,7 +3055,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\32" ;; i64.atomic.rmw32.and_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3064,7 +3064,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\32" ;; i64.atomic.rmw32.and_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3081,7 +3081,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\32" ;; i64.atomic.rmw32.and_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3090,7 +3090,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\32" ;; i64.atomic.rmw32.and_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3106,7 +3106,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\33" ;; i32.atomic.rmw.or
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3114,7 +3114,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\33" ;; i32.atomic.rmw.or
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3130,7 +3130,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\33" ;; i32.atomic.rmw.or
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3139,7 +3139,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\33" ;; i32.atomic.rmw.or
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3156,7 +3156,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\33" ;; i32.atomic.rmw.or
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3165,7 +3165,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\33" ;; i32.atomic.rmw.or
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3181,7 +3181,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\34" ;; i64.atomic.rmw.or
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3189,7 +3189,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\34" ;; i64.atomic.rmw.or
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3205,7 +3205,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\34" ;; i64.atomic.rmw.or
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3214,7 +3214,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\34" ;; i64.atomic.rmw.or
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3231,7 +3231,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\34" ;; i64.atomic.rmw.or
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3240,7 +3240,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\34" ;; i64.atomic.rmw.or
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3256,7 +3256,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\35" ;; i32.atomic.rmw8.or_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3264,7 +3264,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\35" ;; i32.atomic.rmw8.or_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3280,7 +3280,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\35" ;; i32.atomic.rmw8.or_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3289,7 +3289,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\35" ;; i32.atomic.rmw8.or_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3306,7 +3306,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\35" ;; i32.atomic.rmw8.or_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3315,7 +3315,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\35" ;; i32.atomic.rmw8.or_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3331,7 +3331,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\36" ;; i32.atomic.rmw16.or_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3339,7 +3339,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\36" ;; i32.atomic.rmw16.or_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3355,7 +3355,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\36" ;; i32.atomic.rmw16.or_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3364,7 +3364,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\36" ;; i32.atomic.rmw16.or_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3381,7 +3381,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\36" ;; i32.atomic.rmw16.or_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3390,7 +3390,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\36" ;; i32.atomic.rmw16.or_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3406,7 +3406,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\37" ;; i64.atomic.rmw8.or_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3414,7 +3414,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\37" ;; i64.atomic.rmw8.or_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3430,7 +3430,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\37" ;; i64.atomic.rmw8.or_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3439,7 +3439,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\37" ;; i64.atomic.rmw8.or_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3456,7 +3456,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\37" ;; i64.atomic.rmw8.or_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3465,7 +3465,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\37" ;; i64.atomic.rmw8.or_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3481,7 +3481,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\38" ;; i64.atomic.rmw16.or_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3489,7 +3489,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\38" ;; i64.atomic.rmw16.or_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3505,7 +3505,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\38" ;; i64.atomic.rmw16.or_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3514,7 +3514,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\38" ;; i64.atomic.rmw16.or_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3531,7 +3531,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\38" ;; i64.atomic.rmw16.or_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3540,7 +3540,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\38" ;; i64.atomic.rmw16.or_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3556,7 +3556,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\39" ;; i64.atomic.rmw32.or_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3564,7 +3564,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\39" ;; i64.atomic.rmw32.or_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3580,7 +3580,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\39" ;; i64.atomic.rmw32.or_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3589,7 +3589,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\39" ;; i64.atomic.rmw32.or_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3606,7 +3606,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\39" ;; i64.atomic.rmw32.or_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3615,7 +3615,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\39" ;; i64.atomic.rmw32.or_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3631,7 +3631,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3a" ;; i32.atomic.rmw.xor
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3639,7 +3639,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3a" ;; i32.atomic.rmw.xor
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3655,7 +3655,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3a" ;; i32.atomic.rmw.xor
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3664,7 +3664,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3a" ;; i32.atomic.rmw.xor
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3681,7 +3681,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3a" ;; i32.atomic.rmw.xor
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3690,7 +3690,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3a" ;; i32.atomic.rmw.xor
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3706,7 +3706,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3b" ;; i64.atomic.rmw.xor
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3714,7 +3714,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3b" ;; i64.atomic.rmw.xor
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3730,7 +3730,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3b" ;; i64.atomic.rmw.xor
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3739,7 +3739,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3b" ;; i64.atomic.rmw.xor
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3756,7 +3756,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3b" ;; i64.atomic.rmw.xor
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3765,7 +3765,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3b" ;; i64.atomic.rmw.xor
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3781,7 +3781,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3c" ;; i32.atomic.rmw8.xor_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3789,7 +3789,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3c" ;; i32.atomic.rmw8.xor_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3805,7 +3805,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3c" ;; i32.atomic.rmw8.xor_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3814,7 +3814,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3c" ;; i32.atomic.rmw8.xor_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3831,7 +3831,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3c" ;; i32.atomic.rmw8.xor_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3840,7 +3840,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3c" ;; i32.atomic.rmw8.xor_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3856,7 +3856,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3d" ;; i32.atomic.rmw16.xor_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3864,7 +3864,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3d" ;; i32.atomic.rmw16.xor_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3880,7 +3880,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3d" ;; i32.atomic.rmw16.xor_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3889,7 +3889,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3d" ;; i32.atomic.rmw16.xor_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3906,7 +3906,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3d" ;; i32.atomic.rmw16.xor_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3915,7 +3915,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\3d" ;; i32.atomic.rmw16.xor_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3931,7 +3931,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3e" ;; i64.atomic.rmw8.xor_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3939,7 +3939,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3e" ;; i64.atomic.rmw8.xor_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -3955,7 +3955,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3e" ;; i64.atomic.rmw8.xor_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3964,7 +3964,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3e" ;; i64.atomic.rmw8.xor_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -3981,7 +3981,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3e" ;; i64.atomic.rmw8.xor_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -3990,7 +3990,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3e" ;; i64.atomic.rmw8.xor_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4006,7 +4006,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3f" ;; i64.atomic.rmw16.xor_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4014,7 +4014,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3f" ;; i64.atomic.rmw16.xor_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4030,7 +4030,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3f" ;; i64.atomic.rmw16.xor_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4039,7 +4039,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3f" ;; i64.atomic.rmw16.xor_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4056,7 +4056,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3f" ;; i64.atomic.rmw16.xor_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4065,7 +4065,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\3f" ;; i64.atomic.rmw16.xor_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4081,7 +4081,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\40" ;; i64.atomic.rmw32.xor_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4089,7 +4089,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\40" ;; i64.atomic.rmw32.xor_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4105,7 +4105,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\40" ;; i64.atomic.rmw32.xor_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4114,7 +4114,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\40" ;; i64.atomic.rmw32.xor_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4131,7 +4131,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\40" ;; i64.atomic.rmw32.xor_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4140,7 +4140,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\40" ;; i64.atomic.rmw32.xor_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4156,7 +4156,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\41" ;; i32.atomic.rmw.xchg
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4164,7 +4164,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\41" ;; i32.atomic.rmw.xchg
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4180,7 +4180,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\41" ;; i32.atomic.rmw.xchg
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4189,7 +4189,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\41" ;; i32.atomic.rmw.xchg
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4206,7 +4206,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\41" ;; i32.atomic.rmw.xchg
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4215,7 +4215,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\41" ;; i32.atomic.rmw.xchg
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4231,7 +4231,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\42" ;; i64.atomic.rmw.xchg
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4239,7 +4239,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\42" ;; i64.atomic.rmw.xchg
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4255,7 +4255,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\42" ;; i64.atomic.rmw.xchg
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4264,7 +4264,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\42" ;; i64.atomic.rmw.xchg
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4281,7 +4281,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\42" ;; i64.atomic.rmw.xchg
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4290,7 +4290,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\42" ;; i64.atomic.rmw.xchg
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4306,7 +4306,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\43" ;; i32.atomic.rmw8.xchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4314,7 +4314,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\43" ;; i32.atomic.rmw8.xchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4330,7 +4330,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\43" ;; i32.atomic.rmw8.xchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4339,7 +4339,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\43" ;; i32.atomic.rmw8.xchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4356,7 +4356,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\43" ;; i32.atomic.rmw8.xchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4365,7 +4365,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\43" ;; i32.atomic.rmw8.xchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4381,7 +4381,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\44" ;; i32.atomic.rmw16.xchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4389,7 +4389,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\44" ;; i32.atomic.rmw16.xchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4405,7 +4405,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\44" ;; i32.atomic.rmw16.xchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4414,7 +4414,7 @@
     "\41\00" ;; (i32.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\44" ;; i32.atomic.rmw16.xchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4431,7 +4431,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\44" ;; i32.atomic.rmw16.xchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4440,7 +4440,7 @@
     "\42\00" ;; (i64.const 0)
     "\41\33" ;; (i32.const 51)
     "\fe\44" ;; i32.atomic.rmw16.xchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4456,7 +4456,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\45" ;; i64.atomic.rmw8.xchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4464,7 +4464,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\45" ;; i64.atomic.rmw8.xchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4480,7 +4480,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\45" ;; i64.atomic.rmw8.xchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4489,7 +4489,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\45" ;; i64.atomic.rmw8.xchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4506,7 +4506,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\45" ;; i64.atomic.rmw8.xchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4515,7 +4515,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\45" ;; i64.atomic.rmw8.xchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4531,7 +4531,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\46" ;; i64.atomic.rmw16.xchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4539,7 +4539,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\46" ;; i64.atomic.rmw16.xchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4555,7 +4555,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\46" ;; i64.atomic.rmw16.xchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4564,7 +4564,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\46" ;; i64.atomic.rmw16.xchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4581,7 +4581,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\46" ;; i64.atomic.rmw16.xchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4590,7 +4590,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\46" ;; i64.atomic.rmw16.xchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4606,7 +4606,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\47" ;; i64.atomic.rmw32.xchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4614,7 +4614,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\47" ;; i64.atomic.rmw32.xchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4630,7 +4630,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\47" ;; i64.atomic.rmw32.xchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4639,7 +4639,7 @@
     "\41\00" ;; (i32.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\47" ;; i64.atomic.rmw32.xchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4656,7 +4656,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\47" ;; i64.atomic.rmw32.xchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4665,7 +4665,7 @@
     "\42\00" ;; (i64.const 0)
     "\42\33" ;; (i64.const 51)
     "\fe\47" ;; i64.atomic.rmw32.xchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4683,7 +4683,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\48" ;; i32.atomic.rmw.cmpxchg
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4692,7 +4692,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\48" ;; i32.atomic.rmw.cmpxchg
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4710,7 +4710,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\48" ;; i32.atomic.rmw.cmpxchg
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4720,7 +4720,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\48" ;; i32.atomic.rmw.cmpxchg
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4739,7 +4739,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\48" ;; i32.atomic.rmw.cmpxchg
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4749,7 +4749,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\48" ;; i32.atomic.rmw.cmpxchg
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4767,7 +4767,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\49" ;; i64.atomic.rmw.cmpxchg
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4776,7 +4776,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\49" ;; i64.atomic.rmw.cmpxchg
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4794,7 +4794,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\49" ;; i64.atomic.rmw.cmpxchg
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4804,7 +4804,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\49" ;; i64.atomic.rmw.cmpxchg
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4823,7 +4823,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\49" ;; i64.atomic.rmw.cmpxchg
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4833,7 +4833,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\49" ;; i64.atomic.rmw.cmpxchg
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4851,7 +4851,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\4a" ;; i32.atomic.rmw8.cmpxchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4860,7 +4860,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\4a" ;; i32.atomic.rmw8.cmpxchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4878,7 +4878,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\4a" ;; i32.atomic.rmw8.cmpxchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4888,7 +4888,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\4a" ;; i32.atomic.rmw8.cmpxchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4907,7 +4907,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\4a" ;; i32.atomic.rmw8.cmpxchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4917,7 +4917,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\4a" ;; i32.atomic.rmw8.cmpxchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4935,7 +4935,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\4b" ;; i32.atomic.rmw16.cmpxchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4944,7 +4944,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\4b" ;; i32.atomic.rmw16.cmpxchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -4962,7 +4962,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\4b" ;; i32.atomic.rmw16.cmpxchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -4972,7 +4972,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\4b" ;; i32.atomic.rmw16.cmpxchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -4991,7 +4991,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\4b" ;; i32.atomic.rmw16.cmpxchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -5001,7 +5001,7 @@
     "\41\33" ;; (i32.const 51)
     "\41\33" ;; (i32.const 51)
     "\fe\4b" ;; i32.atomic.rmw16.cmpxchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -5019,7 +5019,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4c" ;; i64.atomic.rmw8.cmpxchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -5028,7 +5028,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4c" ;; i64.atomic.rmw8.cmpxchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -5046,7 +5046,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4c" ;; i64.atomic.rmw8.cmpxchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -5056,7 +5056,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4c" ;; i64.atomic.rmw8.cmpxchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -5075,7 +5075,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4c" ;; i64.atomic.rmw8.cmpxchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -5085,7 +5085,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4c" ;; i64.atomic.rmw8.cmpxchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -5103,7 +5103,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4d" ;; i64.atomic.rmw16.cmpxchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -5112,7 +5112,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4d" ;; i64.atomic.rmw16.cmpxchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -5130,7 +5130,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4d" ;; i64.atomic.rmw16.cmpxchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -5140,7 +5140,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4d" ;; i64.atomic.rmw16.cmpxchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -5159,7 +5159,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4d" ;; i64.atomic.rmw16.cmpxchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -5169,7 +5169,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4d" ;; i64.atomic.rmw16.cmpxchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -5187,7 +5187,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4e" ;; i64.atomic.rmw32.cmpxchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -5196,7 +5196,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4e" ;; i64.atomic.rmw32.cmpxchg_u
-    "\22" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows
+    "\12" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
     "\1a" ;; drop
@@ -5214,7 +5214,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4e" ;; i64.atomic.rmw32.cmpxchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -5224,7 +5224,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4e" ;; i64.atomic.rmw32.cmpxchg_u
-    "\62" ;; Alignment of 2 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\52" ;; Alignment of 2 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\00" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset
@@ -5243,7 +5243,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4e" ;; i64.atomic.rmw32.cmpxchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\11" ;; acqrel memory ordering
     "\00" ;; offset
@@ -5253,7 +5253,7 @@
     "\42\33" ;; (i64.const 51)
     "\42\33" ;; (i64.const 51)
     "\fe\4e" ;; i64.atomic.rmw32.cmpxchg_u
-    "\63" ;; Alignment of 3 with bit 5 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
+    "\53" ;; Alignment of 3 with bit 4 set indicating that an ordering immediate follows and with bit 6 set indicating that a memory index immediate follows
     "\01" ;; memory index
     "\00" ;; seqcst memory ordering
     "\00" ;; offset