OP_MI_BATCH_BUFFER_END
if (info->opcode == OP_MI_BATCH_BUFFER_END) {
if ((info->opcode == OP_MI_BATCH_BUFFER_END) ||
{"MI_BATCH_BUFFER_END", OP_MI_BATCH_BUFFER_END,