Symbol: IA32_JA