Symbol: is_jcc32