2 files changed, 11 insertions, 7 deletions
diff --git a/runtime/src/patio/patio.h b/runtime/src/patio/patio.h
new file mode 100644
index 00000000..93af56d0
--- /dev/null
+++ b/runtime/src/patio/patio.h
@@ -0,0 +1,10 @@
+#ifndef SHED_PATIO_PATIO_H
+#define SHED_PATIO_PATIO_H
+
+#ifdef __WASM__
+typedef uint32_t PatioInt;
+#else
+typedef uint64_t PatioInt;
+#endif
+
+#endif
diff --git a/runtime/src/shed.h b/runtime/src/shed.h
index b8ff14a0..4f694e2d 100644
--- a/runtime/src/shed.h
+++ b/runtime/src/shed.h
@@ -2,16 +2,10 @@
 #define SHED_H
 
 #include "./std.h"
+#include "./patio/patio.h"
 
-#ifdef __WASM__
-typedef uint32_t PatioInt;
 typedef PatioInt ShedObject;
 typedef PatioInt ShedStringLength;
-#else
-typedef uint64_t PatioInt;
-typedef PatioInt ShedObject;
-typedef PatioInt ShedStringLength;
-#endif
 
 extern ShedObject const shed_unit;