Symbol: IA32_JB