#ifndef __EXECUTE__
#define __EXECUTE__
#include "a64instruction.h"
#include "emulator.h"

void execute(Machine *state, a64inst_instruction *inst);
#endif