#ifndef SK_EXEC_H
#define SK_EXEC_H

#include "commons.h"
#include "state.h"
#include "prog.h"
struct env;

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 sym* sym,
                  struct prog* prog);

void exec_capture_env(struct exec* self, 
                      struct state* state,
                      struct fun* fun,
                      struct env* env);
#endif