+#if ARCHDIR_is_x86
+typedef int32_t intptr_t;
+typedef uint32_t uintptr_t;
+#elif ARCHDIR_is_x86_64
+typedef int64_t intptr_t;
+typedef uint64_t uintptr_t;
+#elif ARCHDIR_is_armv7
+typedef int32_t intptr_t;
+typedef uint32_t uintptr_t;
+#else
+# error "Unknown pointer size"
+#endif
+
+typedef uint64_t off_t;
+