einj_execute_instruction
value = einj_execute_instruction(inst, value);
value = einj_execute_instruction(&ei, value);