char jit_prologue[] = 
{
     0x55,   // push rbp
     0x48, 0x89, 0xe5,   // mov rbp, rsp
     0x50,   // push rax
     0x51,   // push rcx
     0x52,   // push rdx
     0x48, 0x89, 0xf8,   // mov rax, rdi
     0x48, 0x8b, 0x48, 0x08 // mov rcx, [rax+8]
};
vector_push_back(&op_instructions, jit_prologue, sizeof(jit_prologue));