#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;
}