1 files changed, 35 insertions, 0 deletions
diff --git a/src/section/common.c b/src/section/common.c
new file mode 100644
index 0000000..58ddddb
--- /dev/null
+++ b/src/section/common.c
@@ -0,0 +1,35 @@
+#include <sections.h>
+#include <wasm_types.h>
+#include <errno.h>
+#include <stdio.h>
+#include <string.h>
+
+int check_resizable_limits(FILE *const f)
+{
+    varuint1 flags;
+    varuint32 initial;
+
+    if (varuint1_read(f, &flags))
+    {
+        fprintf(stderr, "%s: varuint1_read failed\n", __func__);
+        return -1;
+    }
+    else if (varuint32_read(f, &initial))
+    {
+        fprintf(stderr, "%s: varuint32_read failed\n", __func__);
+        return -1;
+    }
+
+    if (flags)
+    {
+        varuint32 maximum;
+
+        if (varuint32_read(f, &maximum))
+        {
+            fprintf(stderr, "%s: varuint32_read failed\n", __func__);
+            return -1;
+        }
+    }
+
+    return 0;
+}