Symbol: R_AX_INT_MIT_RX