Symbol: KINST_INSTR_STX