#ifndef SK_EXEC_H
#define SK_EXEC_H

#include "commons.h"
#include "state.h"
#include "prog.h"

struct exec
{
    size_t pc;
};

void exec_init(struct exec* self);
void exec_free(struct exec* self);

void exec_execute(struct exec* self, 
                  struct state* state,
                  struct prog* prog);

#endif