Symbol: IA32_JE