pub const XED_MAX_INST_TABLE_NODES: u32 = 10190;