Symbol: IR_X_INT