Symbol: jeq_reg