#include <ops.h>
#include <interp.h>
#include <interp_private.h>
#include <wasm_types.h>
#include <stddef.h>
#include <stdio.h>

static int op(FILE *const f, struct interp *const i)
{
    varuint64 value;

    if (varuint64_read(f, &value))
    {
        fprintf(stderr, "%s: varuint64_read failed\n", __func__);
        return -1;
    }

    return 0;
}

int op_f64_const(struct interp *const i)
{
    return op(i->cfg.f, i);
}

int check_f64_const(FILE *const f)
{
    return op(f, NULL);
}