[interpreter] Preparation for 32-bit operands.

src/utils.h

Index: src/utils.h
diff --git a/src/utils.h b/src/utils.h
index d779979a61f8c2354f517a1ae96573b6c0745ba0..d280fb58812156838d63e4cbec5d331f037a8e4e 100644
--- a/src/utils.h
+++ b/src/utils.h
@@ -1752,16 +1752,17 @@ static inline double ReadDoubleValue(const void* p) {
   return ReadUnalignedValue<double>(p);
 }
 
-
 static inline void WriteDoubleValue(void* p, double value) {
   WriteUnalignedValue(p, value);
 }
 
-
 static inline uint16_t ReadUnalignedUInt16(const void* p) {
   return ReadUnalignedValue<uint16_t>(p);
 }
 
+static inline uint32_t ReadUnalignedUInt32(const void* p) {
+  return ReadUnalignedValue<uint32_t>(p);
+}
 
 static inline void WriteUnalignedUInt16(void* p, uint16_t value) {
   WriteUnalignedValue(p, value);