Symbol: ALI_INT_MICIN